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:

Nakamura, Yoshiki;
Matsuda, Naosuke

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:

Han, Shengwei;
Xu, Xiaoting

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:

Perini Brogi, Cosimo

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:

Yuan, Yongfeng

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:

Drobyshevich, S.;
Skurt, D.

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:

Sitek, Grzegorz

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:

Fazio, D.;
Ledda, A.;
Paoli, F.

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:

Figallo, Martín

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:

Xu, Ming

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:

Kamide, Norihiro

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:

Gazzari, René

Publication type:

Article