On the set of intermediate logics between the truth- and degree-preserving Łukasiewicz logics
Logic Journal of the IGPL 24 (3):288-320 (2016)
Abstract
This article has no associated abstract. (fix it)Author's Profile
DOI
10.1093/jigpal/jzw006
My notes
Similar books and articles
Logics of formal inconsistency arising from systems of fuzzy logic.Marcelo E. Coniglio, Francesc Esteva & Lluís Godo - 2014 - Logic Journal of the IGPL 22 (6):880-904.
A Routley-Meyer semantics for truth-preserving and well-determined Lukasiewicz 3-valued logics.G. Robles & J. M. Mendez - 2014 - Logic Journal of the IGPL 22 (1):1-23.
A Strong and Rich 4-Valued Modal Logic Without Łukasiewicz-Type Paradoxes.José M. Méndez & Gemma Robles - 2015 - Logica Universalis 9 (4):501-522.
Intermediate logics preserving admissible inference rules of heyting calculus.Vladimir V. Rybakov - 1993 - Mathematical Logic Quarterly 39 (1):403-415.
On maximal intermediate predicate constructive logics.Alessandro Avellone, Camillo Fiorentini, Paolo Mantovani & Pierangelo Miglioli - 1996 - Studia Logica 57 (2-3):373 - 408.
On the rules of intermediate logics.Rosalie Iemhoff - 2006 - Archive for Mathematical Logic 45 (5):581-599.
Strengthening Brady’s Paraconsistent 4-Valued Logic BN4 with Truth-Functional Modal Operators.José M. Méndez & Gemma Robles - 2016 - Journal of Logic, Language and Information 25 (2):163-189.
Dual Equivalent Two-valued Under-determined and Over-determined Interpretations for Łukasiewicz's 3-valued Logic Ł3.Gemma Robles, Francisco Salto & José M. Méndez - 2013 - Journal of Philosophical Logic (2-3):1-30.
An algebraic approach to intuitionistic modal logics in connection with intermediate predicate logics.Nobu-Yuki Suzuki - 1989 - Studia Logica 48 (2):141 - 155.
On the Deductive System of the Order of an Equationally Orderable Quasivariety.Ramon Jansana - 2016 - Studia Logica 104 (3):547-566.
Kripke Bundles for Intermediate Predicate Logics and Kripke Frames for Intuitionistic Modal Logics.Nobu-Yuki Suzuki - 1990 - Studia Logica 49 (3):289-306.
Translating from Łukasiewicz's Logics into Classical Logic: Is it Possible?Itala Loffredo D'ottaviano & Hércules Araujo Feitosa - 2006 - Poznan Studies in the Philosophy of the Sciences and the Humanities 91:157-168.
Translating from łukasiewicz's logics into classical logic: Is it possible?Itala M. Loffredo D'Ottaviano & Hércules Araujo Feitosa - 2006 - Poznan Studies in the Philosophy of the Sciences and the Humanities 91 (1):157-168.
Analytics
Added to PP
2016-06-30
Downloads
12 (#805,342)
6 months
1 (#448,894)
2016-06-30
Downloads
12 (#805,342)
6 months
1 (#448,894)
Historical graph of downloads
Author's Profile
Citations of this work
Maximality in finite-valued Lukasiewicz logics defined by order filters.Marcelo E. Coniglio, Francesc Esteva, Joan Gispert & Lluis Godo - 2019 - Journal of Logic and Computation 29 (1):125-156.
References found in this work
Ideal Paraconsistent Logics.O. Arieli, A. Avron & A. Zamansky - 2011 - Studia Logica 99 (1-3):31-60.
An infinity of super-Belnap logics.Umberto Rivieccio - 2012 - Journal of Applied Non-Classical Logics 22 (4):319 - 335.
On the infinite-valued Łukasiewicz logic that preserves degrees of truth.Josep Maria Font, Àngel J. Gil, Antoni Torrens & Ventura Verdú - 2006 - Archive for Mathematical Logic 45 (7):839-868.
Logics of formal inconsistency arising from systems of fuzzy logic.Marcelo E. Coniglio, Francesc Esteva & Lluís Godo - 2014 - Logic Journal of the IGPL 22 (6):880-904.
