- An infinity of super-Belnap logics.Umberto Rivieccio - 2012 - Journal of Applied Non-Classical Logics 22 (4):319-335.details
|
|
Paraconsistent modal logics.Umberto Rivieccio - 2011 - Electronic Notes in Theoretical Computer Science 278:173-186.details
|
|
Varieties of interlaced bilattices.Umberto Rivieccio, Ramon Jansana & Felix Bou Moliner - 2011 - Algebra Universalis 66 (1-2):115-141.details
|
|
Logics of left variable inclusion and Płonka sums of matrices.S. Bonzio, T. Moraschini & M. Pra Baldi - 2020 - Archive for Mathematical Logic (1-2):49-76.details
|
|
On formal aspects of the epistemic approach to paraconsistency.Walter Carnielli, Marcelo E. Coniglio & Abilio Rodrigues - 2018 - In Marco Ruffino, Max Freund & Max Fernández de Castro (eds.), Logic and philosophy of logic. Recent trends from Latin America and Spain. College Publications. pp. 48-74.details
|
|
Selfextensional logics with a distributive nearlattice term.Luciano J. González - 2019 - Archive for Mathematical Logic 58 (1-2):219-243.details
|
|
Hereditarily Structurally Complete Superintuitionistic Deductive Systems.Alex Citkin - 2018 - Studia Logica 106 (4):827-856.details
|
|
Locally Tabular $$ne $$ Locally Finite.Sérgio Marcelino & Umberto Rivieccio - 2017 - Logica Universalis 11 (3):383-400.details
|
|
Categorical Abstract Algebraic Logic: Prealgebraicity and Protoalgebraicity.George Voutsadakis - 2007 - Studia Logica 85 (2):215-249.details
|
|
Logical Friendliness and Sympathy in Logic.David C. Makinson - 2005 - In Jean-Yves Béziau (ed.), Logica Universalis: Towards a General Theory of Logic. Boston: Birkhäuser Verlog. pp. 191--205.details
|
|
Complexity of equational theory of relational algebras with projection elements.Szabolcs Mikulás, Ildikó Sain & Andras Simon - 1992 - Bulletin of the Section of Logic 21 (3):103-111.details
|
|
Compatible operations on commutative residuated lattices.José Luis Castiglioni, Matías Menni & Marta Sagastume - 2008 - Journal of Applied Non-Classical Logics 18 (4):413-425.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
|
|
Duality, projectivity, and unification in Łukasiewicz logic and MV-algebras.Vincenzo Marra & Luca Spada - 2013 - Annals of Pure and Applied Logic 164 (3):192-210.details
|
|
Leibniz filters and the strong version of a protoalgebraic logic.Josep Maria Font & Ramon Jansana - 2001 - Archive for Mathematical Logic 40 (6):437-465.details
|
|
Perfect and bipartite IMTL-algebras and disconnected rotations of prelinear semihoops.Carles Noguera, Francesc Esteva & Joan Gispert - 2005 - Archive for Mathematical Logic 44 (7):869-886.details
|
|
An infinity of super-Belnap logics.Umberto Rivieccio - 2012 - Journal of Applied Non-Classical Logics 22 (4):319-335.details
|
|
Priestley Duality for Bilattices.A. Jung & U. Rivieccio - 2012 - Studia Logica 100 (1-2):223-252.details
|
|
Replacement in Logic.Lloyd Humberstone - 2013 - Journal of Philosophical Logic 42 (1):49-89.details
|
|
Juxtaposition: A New Way to Combine Logics.Joshua Schechter - 2011 - Review of Symbolic Logic 4 (4):560-606.details
|
|
Combining Algebraizable Logics.A. Jánossy, Á Kurucz & Á. E. Eiben - 1996 - Notre Dame Journal of Formal Logic 37 (2):366-380.details
|
|
Categorical abstract algebraic logic: Equivalent institutions.George Voutsadakis - 2003 - Studia Logica 74 (1-2):275 - 311.details
|
|
Cylindric modal logic.Yde Venema - 1995 - Journal of Symbolic Logic 60 (2):591-623.details
|
|
On varieties of biresiduation algebras.C. J. van Alten - 2006 - Studia Logica 83 (1-3):425-445.details
|
|
Speaking about transitive frames in propositional languages.Yasuhito Suzuki, Frank Wolter & Michael Zakharyaschev - 1998 - Journal of Logic, Language and Information 7 (3):317-339.details
|
|
Algebraic study of Sette's maximal paraconsistent logic.Alexej P. Pynko - 1995 - Studia Logica 54 (1):89 - 128.details
|
|
Decidable and undecidable logics with a binary modality.ágnes Kurucz, István Németi, Ildikó Sain & András Simon - 1995 - Journal of Logic, Language and Information 4 (3):191-206.details
|
|
Characterizing equivalential and algebraizable logics by the Leibniz operator.Burghard Herrmann - 1997 - Studia Logica 58 (2):305-323.details
|
|
Equivalential and algebraizable logics.Burghard Herrmann - 1996 - Studia Logica 57 (2-3):419 - 436.details
|
|
Duality for lattice-ordered algebras and for normal algebraizable logics.Chrysafis Hartonas - 1997 - Studia Logica 58 (3):403-450.details
|
|
A survey of abstract algebraic logic.J. M. Font, R. Jansana & D. Pigozzi - 2003 - Studia Logica 74 (1-2):13 - 97.details
|
|
On łukasiewicz's four-valued modal logic.Josep Maria Font & Petr Hájek - 2002 - Studia Logica 70 (2):157-182.details
|
|
Characterization classes defined without equality.R. Elgueta - 1997 - Studia Logica 58 (3):357-394.details
|
|
Basic hoops: An algebraic study of continuous T -norms.P. Aglianò, I. M. A. Ferreirim & F. Montagna - 2007 - Studia Logica 87 (1):73 - 98.details
|
|
On neat reducts of algebras of logic.Tarek Sayed Ahmed & Istvan Németi - 2001 - Studia Logica 68 (2):229-262.details
|
|
De Finettian Logics of Indicative Conditionals Part II: Proof Theory and Algebraic Semantics.Paul Égré, Lorenzo Rossi & Jan Sprenger - 2021 - Journal of Philosophical Logic 50 (2):215-247.details
|
|
Book review: Carnielli, Walter & Malinowski, Jacek . Contradictions, from consistency to inconsistency. [REVIEW]Rafael R. Testa - 2019 - Manuscrito 42 (1):219-228.details
|
|
Definitional equivalence and algebraizability of generalized logical systems.Alexej P. Pynko - 1999 - Annals of Pure and Applied Logic 98 (1-3):1-68.details
|
|
Commutative basic algebras and non-associative fuzzy logics.Michal Botur & Radomír Halaš - 2009 - Archive for Mathematical Logic 48 (3-4):243-255.details
|
|
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.details
|
|
Logical Consequence and the Paradoxes.Edwin Mares & Francesco Paoli - 2014 - Journal of Philosophical Logic 43 (2-3):439-469.details
|
|
Béziau's Translation Paradox.Lloyd Humberstone - 2005 - Theoria 71 (2):138-181.details
|
|
On a Contraction-Less Intuitionistic Propositional Logic with Conjunction and Fusion.Romà J. Adillon & Ventura Verdú - 2000 - Studia Logica 65 (1):11-30.details
|
|
Paraconsistent and Paracomplete Logics Based on k-Cyclic Modal Pseudocomplemented De Morgan Algebras.Aldo Figallo-Orellano, Miguel Peréz-Gaspar & Juan Manuel Ramírez-Contreras - 2022 - Studia Logica 110 (5):1291-1325.details
|
|
Fragments of Quasi-Nelson: The Algebraizable Core.Umberto Rivieccio - 2022 - Logic Journal of the IGPL 30 (5):807-839.details
|
|
Equality Logic.Shokoofeh Ghorbani - 2020 - Bulletin of the Section of Logic 49 (3):291-324.details
|
|
Proof Theory and Algebra in Logic.Hiroakira Ono - 2019 - Singapore: Springer Singapore.details
|
|
Francesc Esteva Lluıs Godo Franco Montagna.Franco Montagna - 2004 - Studia Logica 76:155-194.details
|
|
Categorical abstract algebraic logic: skywatching in semilattice systems.George Voutsadakis - 2016 - Logic Journal of the IGPL 24 (2):138-155.details
|
|
Basic Hoops: an Algebraic Study of Continuous t-norms.P. Aglianò, I. M. A. Ferreirim & F. Montagna - 2007 - Studia Logica 87 (1):73-98.details
|
|