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
Works matching IS 00393215 AND DT 2015 AND VI 103 AND IP 3
Results: 11
1
2
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
3
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
4
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
5
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
6
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
7
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
8
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
9
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
10
Book Review: Matthias Baaz and Alexander Leitsch, Methods of Cut-Elimination.
- Published in:
- 2015
- By:
- Publication type:
- Book Review
11
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