Works matching IS 00393215 AND DT 2015 AND VI 103 AND IP 3
Results: 11
On Some Classes of Commutative Weak BCK-Algebras.
- Published in:
- Studia Logica, 2015, v. 103, n. 3, p. 479, doi. 10.1007/s11225-014-9575-y
- By:
- Publication type:
- Article
On ideals and congruences of distributive demi- p-algebras.
- Published in:
- Studia Logica, 2015, v. 103, n. 3, p. 491, doi. 10.1007/s11225-014-9576-x
- By:
- Publication type:
- Article
Denotational Semantics for Modal Systems S3- S5 Extended by Axioms for Propositional Quantifiers and Identity.
- Published in:
- Studia Logica, 2015, v. 103, n. 3, p. 507, doi. 10.1007/s11225-014-9577-9
- By:
- Publication type:
- Article
From Bi-facial Truth to Bi-facial Proofs.
- Published in:
- Studia Logica, 2015, v. 103, n. 3, p. 545, doi. 10.1007/s11225-014-9578-8
- By:
- Publication type:
- Article
Unprovability and Proving Unprovability.
- Published in:
- Studia Logica, 2015, v. 103, n. 3, p. 559, doi. 10.1007/s11225-014-9579-7
- By:
- Publication type:
- Article
Non-deterministic Conditionals and Transparent Truth.
- Published in:
- Studia Logica, 2015, v. 103, n. 3, p. 579, doi. 10.1007/s11225-014-9580-1
- By:
- Publication type:
- Article
Cofinally Invariant Sequences and Revision.
- Published in:
- Studia Logica, 2015, v. 103, n. 3, p. 599, doi. 10.1007/s11225-014-9581-0
- By:
- Publication type:
- Article
Semantical Completeness of First-Order Predicate Logic and the Weak Fan Theorem.
- Published in:
- Studia Logica, 2015, v. 103, n. 3, p. 623, doi. 10.1007/s11225-014-9582-z
- By:
- Publication type:
- Article
Hilbert Algebras with a Modal Operator $${\Diamond}$$.
- Published in:
- Studia Logica, 2015, v. 103, n. 3, p. 639, doi. 10.1007/s11225-014-9583-y
- By:
- Publication type:
- Article
Book Review: Matthias Baaz and Alexander Leitsch, Methods of Cut-Elimination.
- Published in:
- 2015
- By:
- Publication type:
- Book Review
Lower Semilattice-Ordered Residuated Semigroups and Substructural Logics.
- Published in:
- Studia Logica, 2015, v. 103, n. 3, p. 453, doi. 10.1007/s11225-014-9574-z
- By:
- Publication type:
- Article