- Propositional Quantification in the Monadic Fragment of Intuitionistic Logic.Tomasz Połacik - 1998 - Journal of Symbolic Logic 63 (1):269-300.details
|
|
A proof of standard completeness for Esteva and Godo's logic MTL.Sándor Jenei & Franco Montagna - 2002 - Studia Logica 70 (2):183-192.details
|
|
On Categorical Equivalence of Weak Monadic Residuated Distributive Lattices and Weak Monadic c-Differential Residuated Distributive Lattices.Jun Tao Wang, Yan Hong She, Peng Fei He & Na Na Ma - 2023 - Studia Logica 111 (3):361-390.details
|
|
Monadic NM-algebras.Juntao Wang, Pengfei He & Yanhong She - 2019 - Logic Journal of the IGPL 27 (6):812-835.details
|
|
Unification in superintuitionistic predicate logics and its applications.Wojciech Dzik & Piotr Wojtylak - 2019 - Review of Symbolic Logic 12 (1):37-61.details
|
|
Nonassociative substructural logics and their semilinear extensions: Axiomatization and completeness properties: Nonassociative substructural logics.Petr Cintula, Rostislav Horčík & Carles Noguera - 2013 - Review of Symbolic Logic 6 (3):394-423.details
|
|
A Henkin-style proof of completeness for first-order algebraizable logics.Petr Cintula & Carles Noguera - 2015 - Journal of Symbolic Logic 80 (1):341-358.details
|
|
Substructural Fuzzy Logics.George Metcalfe & Franco Montagna - 2007 - Journal of Symbolic Logic 72 (3):834 - 864.details
|
|
(2 other versions)Model Theory.Michael Makkai, C. C. Chang & H. J. Keisler - 1991 - Journal of Symbolic Logic 56 (3):1096.details
|
|
(1 other version)On the Standard and Rational Completeness of some Axiomatic Extensions of the Monoidal T-norm Logic.Francesc Esteva, Joan Gispert, Lluís Godo & Franco Montagna - 2002 - Studia Logica 71 (2):199-226.details
|
|
Commutative integral bounded residuated lattices with an added involution.Roberto Cignoli & Francesc Esteva - 2010 - Annals of Pure and Applied Logic 161 (2):150-160.details
|
|
Arithmetical complexity of fuzzy predicate logics—a survey II.Petr Hájek - 2010 - Annals of Pure and Applied Logic 161 (2):212-219.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
|
|
Monadic GMV-algebras.Jiří Rachůnek & Dana Šalounová - 2008 - Archive for Mathematical Logic 47 (3):277-297.details
|
|
The characterization of monadic logic.Leslie H. Tharp - 1973 - Journal of Symbolic Logic 38 (3):481-488.details
|
|
Kripke semantics, undecidability and standard completeness for Esteva and Godo's logic MTL∀.Franco Montagna & Hiroakira Ono - 2002 - Studia Logica 71 (2):227-245.details
|
|
Monadic fuzzy predicate logics.Petr Hájek - 2002 - Studia Logica 71 (2):165-175.details
|
|
(1 other version)On the standard and rational completeness of some axiomatic extensions of the monoidal t-Norm logic.Francesc Esteva, Joan Gispert, Lluís Godo & Franco Montagna - 2002 - Studia Logica 71 (2):199 - 226.details
|
|
Craig Interpolation Theorem Fails in Bi-Intuitionistic Predicate Logic.Grigory K. Olkhovikov & Guillermo Badia - 2024 - Review of Symbolic Logic 17 (2):611-633.details
|
|
Arithmetical interpretations and Kripke frames of predicate modal logic of provability.Taishi Kurahashi - 2013 - Review of Symbolic Logic 6 (1):1-18.details
|
|
On monadic MV-algebras.Antonio Di Nola & Revaz Grigolia - 2004 - Annals of Pure and Applied Logic 128 (1-3):125-139.details
|
|
(1 other version)Rational Pavelka predicate logic is a conservative extension of łukasiewicz predicate logic.Petr Hájek, Jeff Paris & John Shepherdson - 2000 - Journal of Symbolic Logic 65 (2):669-682.details
|
|
Logic for abstract hoop twist-structures.Shokoofeh Ghorbani - 2018 - Annals of Pure and Applied Logic 169 (10):981-996.details
|
|