Works matching IS 00393215 AND DT 2021 AND VI 109 AND IP 6
Results: 11
On Implicational Intermediate Logics Axiomatizable by Formulas Minimal in Classical Logic: A Counter-Example to the Komori–Kashima Problem.
- Published in:
- Studia Logica, 2021, v. 109, n. 6, p. 1413, doi. 10.1007/s11225-021-09955-0
- By:
- Publication type:
- Article
A Few Notes on Quantum B-algebras.
- Published in:
- Studia Logica, 2021, v. 109, n. 6, p. 1423, doi. 10.1007/s11225-021-09953-2
- By:
- Publication type:
- Article
Curry–Howard–Lambek Correspondence for Intuitionistic Belief.
- Published in:
- Studia Logica, 2021, v. 109, n. 6, p. 1441, doi. 10.1007/s11225-021-09952-3
- By:
- Publication type:
- Article
Bayesian Belief Revision Based on Agent's Criteria.
- Published in:
- Studia Logica, 2021, v. 109, n. 6, p. 1311, doi. 10.1007/s11225-021-09951-4
- By:
- Publication type:
- Article
Neighbourhood Semantics for FDE-Based Modal Logics.
- Published in:
- Studia Logica, 2021, v. 109, n. 6, p. 1273, doi. 10.1007/s11225-021-09948-z
- By:
- Publication type:
- Article
Book Reviews: Andrzej Pietruszczak, Metamereology, The Nicolaus Copernicus University Scientific Publishing House, Toruń, 2018, pp. 328. ISBN: 4978-83-231-3961-4 (Softcover), ISBN: 978-83-231-3975-1 (Hardcover) 9,5 €, Open Access: http://wydawnictwo.umk.pl/pl/products/4228/Metamereology
- Published in:
- 2021
- By:
- Publication type:
- Book Review
Residuated Structures and Orthomodular Lattices.
- Published in:
- Studia Logica, 2021, v. 109, n. 6, p. 1201, doi. 10.1007/s11225-021-09946-1
- By:
- Publication type:
- Article
Cut-free Sequent Calculus and Natural Deduction for the Tetravalent Modal Logic.
- Published in:
- Studia Logica, 2021, v. 109, n. 6, p. 1347, doi. 10.1007/s11225-021-09944-3
- By:
- Publication type:
- Article
Transitive Logics of Finite Width with Respect to Proper-Successor-Equivalence.
- Published in:
- Studia Logica, 2021, v. 109, n. 6, p. 1177, doi. 10.1007/s11225-021-09943-4
- By:
- Publication type:
- Article
Alternative Multilattice Logics: An Approach Based on Monosequent and Indexed Monosequent Calculi.
- Published in:
- Studia Logica, 2021, v. 109, n. 6, p. 1241, doi. 10.1007/s11225-020-09939-6
- By:
- Publication type:
- Article
The Calculus of Natural Calculation.
- Published in:
- Studia Logica, 2021, v. 109, n. 6, p. 1375, doi. 10.1007/s11225-020-09938-7
- By:
- Publication type:
- Article