- Some algebras and logics from quasiorder-generated covering-based approximation spaces.Arun Kumar & Mohua Banerjee - 2024 - Journal of Applied Non-Classical Logics 34 (2-3):248-268.details
|
|
Nelson algebras, residuated lattices and rough sets: A survey.Jouni Järvinen, Sándor Radeleczki & Umberto Rivieccio - 2024 - Journal of Applied Non-Classical Logics 34 (2-3):368-428.details
|
|
On elementary equivalence of real semigroups of preordered rings.F. Miraglia & Hugo Mariano - forthcoming - Logic Journal of the IGPL.details
|
|
Subprevarieties Versus Extensions. Application to the Logic of Paradox.Alexej P. Pynko - 2000 - Journal of Symbolic Logic 65 (2):756-766.details
|
|
Algebraische Eigenschaften Eines Funktional Unvollständigen Dreiwertigen Aussagenkalküls.Klaus Denecke - 1988 - Mathematical Logic Quarterly 34 (2):177-188.details
|
|
Algebraische Eigenschaften Eines Funktional Unvollständigen Dreiwertigen Aussagenkalküls.Klaus Denecke - 1988 - Mathematical Logic Quarterly 34 (2):177-188.details
|
|
Resolution of Algebraic Systems of Equations in the Variety of Cyclic Post Algebras.J. P. Díaz Varela & B. F. López Martinolich - 2011 - Studia Logica 98 (1-2):307-330.details
|
|
A note on chain‐based semi‐Heyting algebras.Juan Manuel Cornejo, Luiz F. Monteiro, Hanamantagouda P. Sankappanavar & Ignacio D. Viglizzo - 2020 - Mathematical Logic Quarterly 66 (4):409-417.details
|
|
Some lattice-ordered algebras on which all congruences are principal.Luo Congwen & Wang Gaoxia - 2019 - Logic Journal of the IGPL 27 (3):314-327.details
|
|
The structure of algebraically and existentially closed stone and double stone algebras.David M. Clark - 1989 - Journal of Symbolic Logic 54 (2):363-375.details
|
|
Generalized Bosbach states: Part II. [REVIEW]Lavinia Corina Ciungu, George Georgescu & Claudia Mureşan - 2013 - Archive for Mathematical Logic 52 (7-8):707-732.details
|
|
Proper n-valued łukasiewicz algebras as s-algebras of łukasiewicz n-valued prepositional calculi.Roberto Cignoli - 1982 - Studia Logica 41 (1):3 - 16.details
|
|
Hájek basic fuzzy logic and Łukasiewicz infinite-valued logic.Roberto Cignoli & Antoni Torrens - 2003 - Archive for Mathematical Logic 42 (4):361-370.details
|
|
Coproducts in the categories of Kleene and three-valued łukasiewicz algebras.Roberto Cignoli - 1979 - Studia Logica 38 (3):237 - 245.details
|
|
An algebraic approach to elementary theories based on n‐valued Lukasiewicz logics.Roberto Cignoli - 1984 - Mathematical Logic Quarterly 30 (1‐6):87-96.details
|
|
An algebraic approach to elementary theories based on N‐valued Lukasiewicz logics.Roberto Cignoli - 1984 - Mathematical Logic Quarterly 30 (1-6):87-96.details
|
|
Relational representation for subordination Tarski algebras.Sergio A. Celani - 2023 - Journal of Applied Non-Classical Logics 34 (1):75-96.details
|
|
On the variety of strong subresiduated lattices.Sergio Celani & Hernán J. San Martín - 2023 - Mathematical Logic Quarterly 69 (2):207-220.details
|
|
Distributive Lattices with a Negation Operator.Sergio Arturo Celani - 1999 - Mathematical Logic Quarterly 45 (2):207-218.details
|
|
A variety of algebras closely related to subordination algebras.Sergio Celani & Ramon Jansana - 2022 - Journal of Applied Non-Classical Logics 32 (2):200-238.details
|
|
Varieties of pseudocomplemented Kleene algebras.Diego Castaño, Valeria Castaño, José Patricio Díaz Varela & Marcela Muñoz Santis - 2021 - Mathematical Logic Quarterly 67 (1):88-104.details
|
|
On a Definition of a Variety of Monadic ℓ-Groups.José Luis Castiglioni, Renato A. Lewin & Marta Sagastume - 2014 - Studia Logica 102 (1):67-92.details
|
|
Free-decomposability in Varieties of Pseudocomplemented Residuated Lattices.D. Castaño, J. P. Díaz Varela & A. Torrens - 2011 - Studia Logica 98 (1-2):223-235.details
|
|
De Morgan Heyting algebras satisfying the identity xn ≈ x.Valeria Castaño & Marcela Muñoz Santis - 2011 - Mathematical Logic Quarterly 57 (3):236-245.details
|
|
An Algebraic Study of S5-Modal Gödel Logic.Diego Castaño, Cecilia Cimadamore, José Patricio Díaz Varela & Laura Rueda - 2021 - Studia Logica 109 (5):937-967.details
|
|
Algebraic Functions.M. Campercholi & D. Vaggione - 2011 - Studia Logica 98 (1-2):285-306.details
|
|
An algebraic approach to intuitionistic connectives.Xavier Caicedo & Roberto Cignoli - 2001 - Journal of Symbolic Logic 66 (4):1620-1636.details
|
|
A general framework for product representations: bilattices and beyond.L. M. Cabrer & H. A. Priestley - 2015 - Logic Journal of the IGPL 23 (5):816-841.details
|
|
ƒ‐Multipliers and the localization of hilbert algebras.Dumitru Buşneag - 1990 - Mathematical Logic Quarterly 36 (4):331-338.details
|
|
ƒ-Multipliers and the localization of hilbert algebras.Dumitru Buşneag - 1990 - Zeitschrift fur mathematische Logik und Grundlagen der Mathematik 36 (4):331-338.details
|
|
Degree of Satisfiability in Heyting Algebras.Benjamin Merlin Bumpus & Zoltan A. Kocsis - forthcoming - Journal of Symbolic Logic:1-19.details
|
|
Algebraic semantics for quasi-classical modal logics.W. J. Blok & P. Köhler - 1983 - Journal of Symbolic Logic 48 (4):941-964.details
|
|
Cofinal Stable Logics.Guram Bezhanishvili, Nick Bezhanishvili & Julia Ilin - 2016 - Studia Logica 104 (6):1287-1317.details
|
|
The Prime Spectrum of an MV‐Algebra.L. P. Belluce, Antonio Di Nola & Salvatore Sessa - 1994 - Mathematical Logic Quarterly 40 (3):331-346.details
|
|
Finitely generated free Heyting algebras.Fabio Bellissima - 1986 - Journal of Symbolic Logic 51 (1):152-165.details
|
|
Boolean Algebras and Distributive Lattices Treated Constructively.John L. Bell - 1999 - Mathematical Logic Quarterly 45 (1):135-143.details
|
|
Computable Heyting Algebras with Distinguished Atoms and Coatoms.Nikolay Bazhenov - 2023 - Journal of Logic, Language and Information 32 (1):3-18.details
|
|
Initial Segments of the Degrees of Ceers.Uri Andrews & Andrea Sorbi - 2022 - Journal of Symbolic Logic 87 (3):1260-1282.details
|
|
The Strong Version of a Sentential Logic.Hugo Albuquerque, Josep Maria Font & Ramon Jansana - 2017 - Studia Logica 105 (4):703-760.details
|
|
Injectives in finitely generated universal Horn classes.Michael H. Albert & Ross Willard - 1987 - Journal of Symbolic Logic 52 (3):786-792.details
|
|
Free‐decomposability in varieties of semi‐Heyting algebras.Manuel Abad, Juan Manuel Cornejo & Patricio Díaz Varela - 2012 - Mathematical Logic Quarterly 58 (3):168-176.details
|
|
Principal Congruences of Pseudocomplemented Demorgan Algebras.Hanamantagouda P. Sankappanavar - 1987 - Zeitschrift fur mathematische Logik und Grundlagen der Mathematik 33 (1):3-11.details
|
|
Pseudocomplemented and Almost Pseudocomplemented Ockham Algebras: Principal Congruences.Hanamantagouda P. Sankappanavar - 1989 - Zeitschrift fur mathematische Logik und Grundlagen der Mathematik 35 (3):229-236.details
|
|
Principal Congruences of Demi‐Pseudocomplemented Ockham Algebras and Applications.Hanamantagouda P. Sankappanavar - 1991 - Mathematical Logic Quarterly 37 (31-32):489-494.details
|
|
Congruences on a Balanced Pseudocomplemented Ockham Algebra whose Quotient Algebras are Boolean.Jie Fang & Lei-Bo Wang - 2010 - Studia Logica 96 (3):421-431.details
|
|
Avicenna on Syllogisms Composed of Opposite Premises.Behnam Zolghadr - 2021 - In Mojtaba Mojtahedi, Shahid Rahman & MohammadSaleh Zarepour (eds.), Mathematics, Logic, and their Philosophies: Essays in Honour of Mohammad Ardeshir. Springer. pp. 433-442.details
|
|
Leo Esakia on Duality in Modal and Intuitionistic Logics.Guram Bezhanishvili (ed.) - 2014 - Dordrecht, Netherland: Springer.details
|
|
Heyting Algebras: Duality Theory.Leo Esakia - 2019 - Cham, Switzerland: Springer Verlag.details
|
|
Resolution of Algebraic Systems of Equations in the Variety of Cyclic Post Algebras.Jp Díaz Varela & Bf López Martinolich - 2011 - Studia Logica 98 (1-2):307-330.details
|
|
Probabilistic Semantics Objectified: I. Postulates and Logics.Bas C. Van Fraassen - 1981 - Journal of Philosophical Logic 10 (3):371-394.details
|
|