- On quasi-varieties of multiple valued logic models.Răzvan Diaconescu - 2011 - Mathematical Logic Quarterly 57 (2):194-203.details
|
|
R and Relevance Principle Revisited.Eunsuk Yang - 2013 - Journal of Philosophical Logic 42 (5):767-782.details
|
|
Selfextensional logics with a distributive nearlattice term.Luciano J. González - 2019 - Archive for Mathematical Logic 58 (1-2):219-243.details
|
|
(1 other version)Morphisms on Bi-approximation Semantics.Tomoyuki Suzuki - 1998 - In Marcus Kracht, Maarten de Rijke, Heinrich Wansing & Michael Zakharyaschev (eds.), Advances in Modal Logic. CSLI Publications. pp. 494-515.details
|
|
Generalized ordinal sums and translations.Nikolaos Galatos - 2011 - Logic Journal of the IGPL 19 (3):455-466.details
|
|
Canonicity results of substructural and lattice-based logics.Tomoyuki Suzuki - 2011 - Review of Symbolic Logic 4 (1):1-42.details
|
|
Implicational (semilinear) logics I: a new hierarchy. [REVIEW]Petr Cintula & Carles Noguera - 2010 - Archive for Mathematical Logic 49 (4):417-446.details
|
|
Wittgenstein on Incompleteness Makes Paraconsistent Sense.Francesco Berto - 2013 - In Francesco Berto, Edwin Mares, Koji Tanaka & Francesco Paoli (eds.), Paraconsistency: Logic and Applications. Dordrecht, Netherland: Springer. pp. 257--276.details
|
|
Petr Cintula, Carles Noguera, Logic and Implication. An Introduction to the General Algebraic Study of Non-classical Logics, vol. 57 of Trends in Logic, Springer, 2021, pp. 465+xxii; ISBN: 978-3-030-85674-8 (Hardcover) 117.69€, ISBN: 978-3-030- 85675-5 (eBook) 93.08 €. [REVIEW]Ramon Jansana - 2023 - Studia Logica 111 (4):709-715.details
|
|
Reasoning with Ambiguity.Christian Wurm - 2021 - Journal of Logic, Language and Information 30 (1):139-206.details
|
|
(1 other version)The Strong Version of a Sentential Logic.Hugo Albuquerque, Josep Maria Font & Ramon Jansana - 2017 - Studia Logica 105 (4):703-760.details
|
|
First-order t-norm based fuzzy logics with truth-constants: distinguished semantics and completeness properties.Francesc Esteva, Lluís Godo & Carles Noguera - 2010 - Annals of Pure and Applied Logic 161 (2):185-202.details
|
|
Strict core fuzzy logics and quasi-witnessed models.Marco Cerami & Francesc Esteva - 2011 - Archive for Mathematical Logic 50 (5-6):625-641.details
|
|
Crawley Completions of Residuated Lattices and Algebraic Completeness of Substructural Predicate Logics.Hiroakira Ono - 2012 - Studia Logica 100 (1-2):339-359.details
|
|
Contraction and closure.David Ripley - 2015 - Thought: A Journal of Philosophy 4 (2):131-138.details
|
|
Non-Boolean classical relevant logics II: Classicality through truth-constants.Tore Fjetland Øgaard - 2021 - Synthese (3-4):1-33.details
|
|
(1 other version)Distributive Substructural Logics as Coalgebraic Logics over Posets.Marta Bílková, Rostislav Horčik & Jiří Velebil - 1998 - In Marcus Kracht, Maarten de Rijke, Heinrich Wansing & Michael Zakharyaschev (eds.), Advances in Modal Logic. CSLI Publications. pp. 119-142.details
|
|
Language-Theoretic and Finite Relation Models for the (Full) Lambek Calculus.Christian Wurm - 2017 - Journal of Logic, Language and Information 26 (2):179-214.details
|
|
A Computational Learning Semantics for Inductive Empirical Knowledge.Kevin T. Kelly - 2014 - In Alexandru Baltag & Sonja Smets (eds.), Johan van Benthem on Logic and Information Dynamics. Cham, Switzerland: Springer International Publishing. pp. 289-337.details
|
|
Δ-core Fuzzy Logics with Propositional Quantifiers, Quantifier Elimination and Uniform Craig Interpolation.Franco Montagna - 2012 - Studia Logica 100 (1-2):289-317.details
|
|
On Involutive Nonassociative Lambek Calculus.Wojciech Buszkowski - 2019 - Journal of Logic, Language and Information 28 (2):157-181.details
|
|