- Idempotent Variations on the Theme of Exclusive Disjunction.L. Humberstone - 2021 - Studia Logica 110 (1):121-163.details
|
|
Varying interpolation and amalgamation in polyadic MV-algebras.Tarek Sayed Ahmed - 2015 - Journal of Applied Non-Classical Logics 25 (2):140-192.details
|
|
(1 other version)On n‐Valued Sheffer Functions.Roy O. Davies - 1979 - Mathematical Logic Quarterly 25 (19‐24):293-298.details
|
|
Polynomial clone reducibility.Quinn Culver - 2014 - Archive for Mathematical Logic 53 (1-2):1-10.details
|
|
Complexity of logic-based argumentation in Post's framework.Nadia Creignou, Johannes Schmidt, Michael Thomas & Stefan Woltran - 2011 - Argument and Computation 2 (2-3):107 - 129.details
|
|
(1 other version)Henry M. Sheffer and Notational Relativity.Alasdair Urquhart - 2012 - History and Philosophy of Logic 33 (1):33 - 47.details
|
|
A General Schema for Bilateral Proof Rules.Ryan Simonelli - 2024 - Journal of Philosophical Logic (3):1-34.details
|
|
Schönfinkel-type Operators for Classical Logic.Katalin Bimbó - 2010 - Studia Logica 95 (3):355-378.details
|
|
(1 other version)Onn-Valued Sheffer Functions.Roy O. Davies - 1979 - Zeitschrift fur mathematische Logik und Grundlagen der Mathematik 25 (19-24):293-298.details
|
|
Complexes and Their Constituents.Roderick Batchelor - 2013 - Theoria 79 (4):326-352.details
|
|
Lewis Dichotomies in Many-Valued Logics.Simone Bova - 2012 - Studia Logica 100 (6):1271-1290.details
|
|
Zero-place operations and functional completeness, and the definition of new connectives.I. L. Humberstone - 1993 - History and Philosophy of Logic 14 (1):39-66.details
|
|
Combining logics.Walter Carnielli & Marcelo E. Coniglio - 2008 - Stanford Encyclopedia of Philosophy.details
|
|
The power of primitive positive definitions with polynomially many variables.Lagerkvist Victor & Wahlström Magnus - 2017 - Journal of Logic and Computation 27 (5).details
|
|
Construction of Large Sets of Clones.J. Demetrovics & L. Hannák - 1987 - Mathematical Logic Quarterly 33 (2):127-133.details
|
|
The complexity of satisfiability for fragments of hybrid logic—Part I.Arne Meier, Martin Mundhenk, Thomas Schneider, Michael Thomas, Volker Weber & Felix Weiss - 2010 - Journal of Applied Logic 8 (4):409-421.details
|
|
(1 other version)Hyperidentities of Dyadic Algebras.Klaus Denecke - 1989 - Zeitschrift fur mathematische Logik und Grundlagen der Mathematik 35 (4):303-310.details
|
|
On Partial Classes Containig All Monotone and Zero-Preserving Total Boolean Functions.Birger Strauch - 1997 - Mathematical Logic Quarterly 43 (4):510-524.details
|
|
Generalized equivalence: A pattern of mathematical expression.T. A. McKee - 1985 - Studia Logica 44 (3):285 - 289.details
|
|
On the parameterized complexity of non-monotonic logics.Arne Meier, Irina Schindler, Johannes Schmidt, Michael Thomas & Heribert Vollmer - 2015 - Archive for Mathematical Logic 54 (5):685-710.details
|
|
(1 other version)Hyperidentities of Dyadic Algebras.Klaus Denecke - 1989 - Mathematical Logic Quarterly 35 (4):303-310.details
|
|