- Expressivity in chain-based modal logics.Michel Marti & George Metcalfe - 2018 - Archive for Mathematical Logic 57 (3-4):361-380.details
|
|
A characterization of MV-algebras free over finite distributive lattices.Vincenzo Marra - 2008 - Archive for Mathematical Logic 47 (3):263-276.details
|
|
Spectra of Quasi-Boolean Algebras.Yajie Lv & Wenjuan Chen - forthcoming - Logic Journal of the IGPL.details
|
|
On categorical equivalences of equality algebras and monadic equality algebras.Hongxing Liu - 2019 - Logic Journal of the IGPL 27 (3):267-280.details
|
|
Provability in predicate product logic.Michael C. Laskowski & Shirin Malekpour - 2007 - Archive for Mathematical Logic 46 (5-6):365-378.details
|
|
Good fuzzy preorders on fuzzy power structures.Hongliang Lai & Dexue Zhang - 2010 - Archive for Mathematical Logic 49 (4):469-489.details
|
|
Questioning the Virtual Friendship Debate: Fuzzy Analogical Arguments from Classification and Definition.Oliver Laas - 2018 - Argumentation 32 (1):99-149.details
|
|
Generalisation of proof simulation procedures for Frege systems by M.L. Bonet and S.R. Buss.Daniil Kozhemiachenko - 2018 - Journal of Applied Non-Classical Logics 28 (4):389-413.details
|
|
Many-valued logic and sequence arguments in value theory.Simon Knutsson - 2021 - Synthese 199 (3-4):10793-10825.details
|
|
The Hahn Embedding Theorem for a Class of Residuated Semigroups.Sándor Jenei - 2020 - Studia Logica 108 (6):1161-1206.details
|
|
Involutive Uninorm Logic with Fixed Point enjoys finite strong standard completeness.Sándor Jenei - 2022 - Archive for Mathematical Logic 62 (1):67-86.details
|
|
A classification of certain group-like FL $$_e$$ e -chains.Sándor Jenei & Franco Montagna - 2015 - Synthese 192 (7):2095-2121.details
|
|
Product Ł ukasiewicz Logic.Rostislav Horčík & Petr Cintula - 2004 - Archive for Mathematical Logic 43 (4):477-503.details
|
|
Some (non)tautologies of łukasiewicz and product logic.Petr Hájek - 2010 - Review of Symbolic Logic 3 (2):273-278.details
|
|
The existence of states based on Glivenko semihoops.Pengfei He, Juntao Wang & Jiang Yang - 2022 - Archive for Mathematical Logic 61 (7):1145-1170.details
|
|
Fuzzy closure systems on L-ordered sets.Lankun Guo, Guo-Qiang Zhang & Qingguo Li - 2011 - Mathematical Logic Quarterly 57 (3):281-291.details
|
|
Extended-order algebras.Cosimo Guido & Paola Toto - 2008 - Journal of Applied Logic 6 (4):609-626.details
|
|
Borel on the Heap.Paul Égré & Anouk Barberousse - 2014 - Erkenntnis 79 (S5):1043-1079.details
|
|
An Alternative Definition of Quantifiers on Four-Valued Łukasiewicz Algebras.L. J. González, M. B. Lattanzi & A. G. Petrovich - 2017 - Logica Universalis 11 (4):439-463.details
|
|
Sample logic.Matthias Gerner - 2022 - Logic Journal of the IGPL 30 (5):728-776.details
|
|
Non-dual fuzzy connections.George Georgescu & Andrei Popescu - 2004 - Archive for Mathematical Logic 43 (8):1009-1039.details
|
|
Fuzzy power structures.George Georgescu - 2008 - Archive for Mathematical Logic 47 (3):233-261.details
|
|
Poset Products as Relational Models.Wesley Fussner - 2021 - Studia Logica 110 (1):95-120.details
|
|
Pavelka-style completeness in expansions of Łukasiewicz logic.Hector Freytes - 2008 - Archive for Mathematical Logic 47 (1):15-23.details
|
|
Convex MV-Algebras: Many-Valued Logics Meet Decision Theory.T. Flaminio, H. Hosni & S. Lapenta - 2018 - Studia Logica 106 (5):913-945.details
|
|
Giles’s Game and the Proof Theory of Łukasiewicz Logic.Christian G. Fermüller & George Metcalfe - 2009 - Studia Logica 92 (1):27 - 61.details
|
|
Special issue on logics and artificial intelligence.Zoe Falomir, Vicent Costa, Enric Plaza & Karina Gibert - 2021 - Logic Journal of the IGPL 29 (1):1-6.details
|
|
Generalized possibilistic logic: Foundations and applications to qualitative reasoning about uncertainty.Didier Dubois, Henri Prade & Steven Schockaert - 2017 - Artificial Intelligence 252 (C):139-174.details
|
|
What Verities May Be.Igor Douven & Lieven Decock - 2017 - Mind 126 (502):386-428.details
|
|
State-morphism MV-algebras.Antonio Di Nola & Anatolij Dvurečenskij - 2010 - Annals of Pure and Applied Logic 161 (2):161-173.details
|
|
Games: Unifying Logic, Language, and Philosophy.Ondrej Majer, Ahti-Veikko Pietarinen & Tero Tulenheimo (eds.) - 2009 - Dordrecht, Netherland: Springer Verlag.details
|
|
Lying as a scalar phenomenon.Neri Marsili - 2014 - In Sibilla Cantarini, Werner Abraham & Elizabeth Leiss (eds.), "Certainty-uncertainty – and the attitudinal space in between”,. John Benjamins Publishing.details
|
|
You don't say! Lying, asserting and insincerity.Neri Marsili - 2017 - Dissertation, University of Sheffielddetails
|
|
In the Beginning was Game Semantics?Giorgi Japaridze - 2009 - In Ondrej Majer, Ahti-Veikko Pietarinen & Tero Tulenheimo (eds.), Games: Unifying Logic, Language, and Philosophy. Springer Verlag. pp. 249--350.details
|
|
Three Philosophical Approaches to Entomology.Jean-Marc Drouin - 2013 - In Hanne Andersen, Dennis Dieks, Wenceslao González, Thomas Uebel & Gregory Wheeler (eds.), New Challenges to Philosophy of Science. Springer Verlag. pp. 377--386.details
|
|
Logika a logiky.Jaroslav Peregrin - manuscriptdetails
|
|
Sweet SIXTEEN: Automation via Embedding into Classical Higher-Order Logic.Alexander Steen & Christoph Benzmüller - 2016 - Logic and Logical Philosophy 25 (4):535-554.details
|
|
Preferential Interpretation of Fuzzy Sets in E-shop Recommendation with Real Data Experiments.Peter Vojtas, Alan Eckhardt & Ladislav Peska - 2015 - Archives for the Philosophy and History of Soft Computing 2015 (2).details
|
|
Axiomatizing a Real-Valued Modal Logic.Denisa Diaconescu, George Metcalfe & Laura Schnüriger - 2016 - In Lev Beklemishev, Stéphane Demri & András Máté (eds.), Advances in Modal Logic, Volume 11. CSLI Publications. pp. 236-251.details
|
|