## Logic and Logical Philosophy

 Short Title: Log. Log. Philos. Publisher: Nicolaus Copernicus University, Faculty of Humanities, Department of Logic, Toruń ISSN: 1425-3305; 2300-9802/e Online: http://apcz.pl/czasopisma/index.php/LLP/issue/archive Comments: This journal is available open access.
 Documents Indexed: 472 Publications (since 1993) References Indexed: 163 Publications with 4,503 References.
all top 5

### Latest Issues

 31, No. 2 (2022) 31, No. 1 (2022) 30, No. 4 (2021) 30, No. 3 (2021) 30, No. 2 (2021) 30, No. 1 (2021) 29, No. 4 (2020) 29, No. 3 (2020) 29, No. 2 (2020) 29, No. 1 (2020) 28, No. 4 (2019) 28, No. 3 (2019) 28, No. 2 (2019) 28, No. 1 (2019) 27, No. 4 (2018) 27, No. 3 (2018) 27, No. 2 (2018) 27, No. 1 (2018) 26, No. 4 (2017) 26, No. 3 (2017) 26, No. 2 (2017) 26, No. 1 (2017) 25, No. 4 (2016) 25, No. 3 (2016) 25, No. 2 (2016) 25, No. 1 (2016) 24, No. 4 (2015) 24, No. 3 (2015) 24, No. 2 (2015) 24, No. 1 (2015) 23, No. 4 (2014) 23, No. 3 (2014) 23, No. 2 (2014) 23, No. 1 (2014) 22, No. 4 (2013) 22, No. 3 (2013) 22, No. 2 (2013) 22, No. 1 (2013) 21, No. 4 (2012) 21, No. 3 (2012) 21, No. 2 (2012) 21, No. 1 (2012) 20, No. 4 (2011) 20, No. 3 (2011) 20, No. 1-2 (2011) 19, No. 4 (2010) 19, No. 3 (2010) 19, No. 1-2 (2010) 18, No. 3-4 (2010) 18, No. 2 (2009) 18, No. 1 (2009) 17, No. 4 (2008) 17, No. 3 (2008) 17, No. 1-2 (2008) 16, No. 4 (2007) 16, No. 2-3 (2007) 16, No. 1 (2007) 15, No. 4 (2006) 15, No. 3 (2006) 15, No. 2 (2006) 15, No. 1 (2006) 14, No. 2 (2005) 14, No. 1 (2005) 13 (2004) 11-12 (2003) 10 (2002) 9 (2001) 8 (2000) 7 (1999) 6 (1998) 5 (1997) 4 (1996) 3 (1995) 2 (1994) 1 (1993)
all top 5

### Authors

 10 Pietruszczak, Andrzej 9 Urchs, Max Peter 9 Wansing, Heinrich Theodor 8 Indrzejczak, Andrzej 8 Robles, Gemma 7 Jarmużek, Tomasz 7 Łukowski, Piotr 7 Materna, Pavel 7 Tkaczyk, Marcin 6 Gerla, Giangiacomo 6 Malinowski, Jacek 6 Petrukhin, Yaroslav Igorevich 5 Kamide, Norihiro 5 Łupkowski, Paweł 5 Odintsov, Sergei P. 5 Omori, Hitoshi 5 Shramko, Yaroslav V. 5 Tsai, Hsing-chien 4 Batens, Diderik 4 Bondoni, Davide 4 Brenner, Joseph E. 4 Carrara, Massimiliano 4 Kulicki, Piotr 4 Meheus, Joke 4 Nasieniewski, Marek 4 Paoli, Francesco 4 Perzanowski, Jerzy 4 Raclavský, Jiří 4 Rönnedal, Daniel 4 Sayward, Charles W. 4 Urbański, Mariusz 4 Woleński, Jan 3 Allwein, Gerard 3 Béziau, Jean-Yves 3 Carnielli, Walter Alexandre 3 Chiffi, Daniele 3 Ciuciura, Janusz 3 Estrada-González, Luis 3 Francez, Nissim 3 Giordani, Alessandro 3 Gołosz, Jerzy 3 Gomolińska, Anna 3 Grigor’ev, Oleg 3 Gruszczyński, Rafał 3 Harrison, William L. 3 Klonowski, Mateusz 3 Mormann, Thomas 3 Mruczek-Nasieniewska, Krystyna 3 Pietryga, Anna 3 Scheffler, Uwe 3 Skura, Tomasz F. 3 Szmuc, Damian Enrique 3 Trypuz, Robert 3 Varzi, Achille C. 3 Waragai, Toshiharu 3 Wiśniewski, Andrzej 3 Wójtowicz, Krzysztof 2 Abe, Jair Minoro 2 Asenjo, Florencio Gonzalez 2 Augustynek, Zdzisław 2 Bellin, Gianluigi 2 Bjørdal, Frode Alfson 2 Blanco, José Miguel 2 Bressan, Aldo 2 Coppola, Cristina 2 Da Costa, Newton Carneiro Affonso 2 Degen, Josef Wolfgang 2 Drobyshevich, Sergeĭ Andreevich 2 Epstein, Richard L. 2 Faust, Don H. 2 Frankowski, Szymon 2 Glavaničová, Daniela 2 Jaskowski, Stanislaw 2 Kiczuk, Stanisław 2 Koszowy, Marcin 2 Kovač, Srećko 2 Kürbis, Nils 2 Lenzen, Wolfgang 2 López, Sandra M. 2 Luna, Laureano 2 Łyczak, Marcin 2 Maffezioli, Paolo 2 Malinowski, Grzegorz 2 Menti, Alessandro 2 Moniri, Morteza 2 Muratvitsky, Alexei Y. 2 Murawski, Roman 2 Odrowąż-Sypniewska, Joanna 2 Pascucci, Matteo 2 Paśniczek, Jacek 2 Peliš, Michal 2 Petermann, Uwe 2 Pizzi, Claudio Ercole Antonio 2 Placek, Tomasz 2 Schang, Fabien 2 Segerberg, Krister 2 Silvestre, Ricardo Sousa 2 Slater, Barry Hartley 2 Smets, Sonja J. L. 2 Sochacki, Robert ...and 257 more Authors
all top 5

### Fields

 459 Mathematical logic and foundations (03-XX) 39 General and overarching topics; collections (00-XX) 29 History and biography (01-XX) 24 Computer science (68-XX) 12 Order, lattices, ordered algebraic structures (06-XX) 10 Geometry (51-XX) 8 General topology (54-XX) 7 Quantum theory (81-XX) 6 Game theory, economics, finance, and other social and behavioral sciences (91-XX) 5 General algebraic systems (08-XX) 5 Relativity and gravitational theory (83-XX) 4 Category theory; homological algebra (18-XX) 4 Group theory and generalizations (20-XX) 1 Number theory (11-XX) 1 Probability theory and stochastic processes (60-XX) 1 Statistics (62-XX) 1 Information and communication theory, circuits (94-XX)

### Citations contained in zbMATH Open

213 Publications have been cited 604 times in 437 Documents Cited by Year
Formal inconsistency and evolutionary databases. Zbl 1005.03509
Carnielli, Walter A.; Marcos, João; de Amo, Sandra
2000
Logic of classical refutability and class of extensions of minimal logic. Zbl 1034.03027
Odintsov, S. P.
2001
A propositional calculus for inconsistent deductive systems. Zbl 1013.03004
Jaśkowski, Stanisław
1999
Bochvar’s three-valued logic and literal paralogics: their lattice and functional equivalence. Zbl 1477.03074
Karpenko, Alexander; Tomova, Natalya
2017
The lattice of Belnapian modal logics: special extensions and counterparts. Zbl 1396.03034
Odintsov, Sergei P.; Speranski, Stanislav O.
2016
Towards the unification of inconsistency handling mechanisms. Zbl 1005.03508
Batens, Diderik
2000
The paraconsistent logic Z. A possible solution to Jaśkowski’s problem. Zbl 1134.03018
Béziau, Jean-Yves
2006
On the discussive conjunction in the propositional calculus for inconsistent deductive systems. Zbl 1013.03005
Jaśkowski, Stanisław
1999
Jaśkowski’s criterion and three-valued paraconsistent logics. Zbl 1001.03029
Karpenko, Alexander S.
1999
Paraconsistency and analyticity. Zbl 1001.03031
Oller, Carlos A.
1999
Natural deduction for three-valued regular logics. Zbl 1417.03181
Petrukhin, Yaroslav
2017
Natural deduction for four-valued both regular and monotonic logics. Zbl 1456.03048
Petrukhin, Yaroslav
2018
A system for proper multiple-conclusion entailment. Zbl 1375.03016
Skura, Tomasz; Wiśniewski, Andrzej
2015
Hintikka and Cresswell on logical omniscience. Zbl 1134.03006
Jago, Mark
2006
Boolean connexive logics: semantics and tableau approach. Zbl 1458.03024
Jarmużek, Tomasz; Malinowski, Jacek
2019
Pragmatic and dialogic interpretations of bi-intuitionism. I. Zbl 1364.03018
Bellin, Gianluigi; Carrara, Massimiliano; Chiffi, Daniele; Menti, Alessandro
2014
Hypersequent calculi for S5: the methods of cut elimination. Zbl 1372.03037
Bednarska, Kaja; Indrzejczak, Andrzej
2015
Pieces of mereology. Zbl 1117.03018
Pietruszczak, Andrzej
2005
Continuous lattices and Whiteheadian theory of space. Zbl 0974.03011
Mormann, Thomas
1998
Admissibility of cut in congruent modal logics. Zbl 1248.03076
Indrzejczak, Andrzej
2011
Supervenience, dependence, disjunction. Zbl 1477.03052
Humberstone, Lloyd
2019
Fregean description theory in proof-theoretical setting. Zbl 1477.03238
Indrzejczak, Andrzej
2019
Concepts as hyperintensional objects. Zbl 1321.03017
Materna, Pavel
2014
Paraconsistency and Sette’s calculus P1. Zbl 1372.03050
Ciuciura, Janusz
2015
On logic of strictly-deontic modalities. A semantic and tableau approach. Zbl 1478.03038
Jarmużek, Tomasz; Klonowski, Mateusz
2020
The modes of physical properties in the logical foundations of physics. Zbl 1117.00306
Smets, Sonja
2005
Decidability of mereological theories. Zbl 1186.03018
Tsai, Hsing-chien
2009
An epistemic interpretation of paraconsistent weak Kleene logic. Zbl 1452.03070
Szmuc, Damian E.
2019
Connexive logics. An overview and current trends. Zbl 1458.03005
Omori, Hitoshi; Wansing, Heinrich
2019
Mereology then and now. Zbl 1369.03046
Gruszczyński, Rafał; Varzi, Achille C.
2015
Rational agency from a truth-functional perspective. Zbl 1369.03054
Kubyshkina, Ekaterina; Zaitsev, Dmitry V.
2016
The laws of non-bivalent probability. Zbl 1134.03017
Cantwell, John
2006
Symmetric and dual paraconsistent logics. Zbl 1227.03034
Kamide, Norihiro; Wansing, Heinrich
2010
An adaptive logic framework for conditional obligations and deontic dilemmas. Zbl 1229.03020
Straßer, Christian
2010
On the logics related to A. Arruda’s system V1. Zbl 1001.03030
Popov, V. M.
1999
The Kuznetsov-Gerčiu and Rieger-Nishimura logics. The boundaries of the finite model property. Zbl 1173.03028
Bezhanishvili, Guram; Bezhanishvili, Nick; de Jongh, Dick
2008
From BDI and stit to bdi-stit logic. Zbl 1159.03013
Semmling, Caroline; Wansing, Heinrich
2008
Some adaptive logics for diagnosis. Zbl 1117.03327
Batens, Diderik; Meheus, Joke; Provijn, Dagmar; Verhoeven, Liza
2003
Completeness of minimal positional calculus. Zbl 1117.03328
Jarmużek, Tomasz; Pietruszczak, Andrzej
2004
Abstract logic of oppositions. Zbl 1283.03026
Schang, Fabien
2012
Space, points and mereology. On foundations of point-free Euclidean geometry. Zbl 1186.03019
Gruszczyński, Rafał; Pietruszczak, Andrzej
2009
A formal approach to exploring the interrogator’s perspective in the Turing test. Zbl 1244.03023
Łupkowski, Paweł
2011
A simple Henkin-style completeness proof for Gödel 3-valued logic G3. Zbl 1364.03038
Robles, Gemma
2014
Generating cooperative question-responses by means of erotetic search scenarios. Zbl 1407.68472
Łupkowski, Paweł; Leszczyńska-Jasion, Dorota
2015
On classical behavior of intuitionistic modalities. Zbl 1375.03022
Drobyshevich, Sergey
2015
Classical mereology is not elementarily axiomatizable. Zbl 1369.03068
Pietruszczak, Andrzej
2015
Trivial dialetheism and the logic of paradox. Zbl 1384.03017
Beziau, Jean-Yves
2016
On Béziau’s logic Z. Zbl 1170.03015
Omori, Hitoshi; Waragai, Toshiharu
2008
Modal hybrid logic. Zbl 1145.03009
Indrzejczak, Andrzej
2007
A deductive-reductive form of logic: Intuitionistic S4 modalities. Zbl 1028.03012
Łukowski, Piotr
2002
A new axiomatization of Jaśkowski’s discussive logic. Zbl 1028.03020
2001
How to define a mereological (collective) set. Zbl 1243.03067
Gruszczyński, Rafał; Pietruszczak, Andrzej
2010
Preferences as inconsistency-resolvers: The inconsistency-adaptive logic PRL. Zbl 1005.03513
Vanackere, Guido
2000
Inferential paraconsistency. Zbl 1005.03031
Malinowski, Grzegorz
2000
A systematics of deontic action logics based on Boolean algebra. Zbl 1239.03012
Trypuz, Robert; Kulicki, Piotr
2010
Simplified Kripke style semantics for some very weak modal logics. Zbl 1222.03026
Pietruszczak, Andrzej
2010
A mind of a non-countable set of ideas. Zbl 1152.03301
Citkin, Alexander
2008
Formulas of one propositional variable in intuitionistic logic with the Solovay modality. Zbl 1157.03040
Esakia, Leo; Grigolia, Revaz
2008
The Collatz conjecture. A case study in mathematical problem solving. Zbl 1117.00304
Van Bendegem, Jean Paul
2005
Reasoning about space: The hole story. Zbl 0983.03008
Varzi, Achille C.
1996
Models of possibilism and trivialism. Zbl 1283.03018
2012
On algorithmic properties of propositional inconsistency-adaptive logics. Zbl 1283.03059
Odintsov, Sergei P.; Speranski, Stanislav O.
2012
A compositional semantics for ‘even if’ conditionals. Zbl 1417.03220
Vidal, Mathieu
2017
Five theories of reasoning: interconnections and applications to mathematics. Zbl 1244.03028
Pease, Alison; Aberdein, Andrew
2011
On axiomatization of Łukasiewicz’s four-valued modal logic. Zbl 1261.03090
Tkaczyk, Marcin
2011
More on the decidability of mereological theories. Zbl 1244.03054
Tsai, Hsing-chien
2011
On three axiom systems for classical mereology. Zbl 1477.03020
Varzi, Achille C.
2019
Automated proof-searching for strong Kleene logic and its binary extensions via correspondence analysis. Zbl 1446.03055
Petrukhin, Yaroslav; Shangin, Vasilyi
2019
Humble connexivity. Zbl 1458.03014
Kapsner, Andreas
2019
Negation in weak positional calculi. Zbl 1321.03047
Tkaczyk, Marcin
2013
Why topology in the minimalist foundation must be pointfree. Zbl 1341.03097
Maietti, Maria Emilia; Sambin, Giovanni
2013
Connecting bilattice theory with multivalued logic. Zbl 1321.03040
Genito, Daniele; Gerla, Giangiacomo
2014
Reflections on temporal and modal logic. Zbl 1375.03019
Epstein, Richard L.
2015
A meta-logic of inference rules: syntax. Zbl 1375.03015
Citkin, Alex
2015
Neighborhood semantics for basic and intuitionistic logic. Zbl 1375.03014
2015
Dynamic epistemic logic and logical omniscience. Zbl 1375.03018
Rasmussen, Mattias Skipper
2015
Regions-based two dimensional continua: the Euclidean case. Zbl 1372.03026
Hellman, Geoffrey; Shapiro, Stewart
2015
Sweet SIXTEEN: automation via embedding into classical higher-order logic. Zbl 1373.03030
Steen, Alexander; Benzmüller, Christoph
2016
Algorithmic theories of problems. A constructive and a non-constructive approach. Zbl 1417.03124
Pezlar, Ivo
2017
The logical burdens of proof. Assertion and hypothesis. Zbl 1417.03136
Chiffi, Daniele; Schang, Fabien
2017
Rejected axioms for the “nonsense-logic” W and the $$k$$-valued logic of Sobociński. Zbl 1170.03329
Sochacki, Robert
2008
Anselm and Russell. Zbl 1134.03300
Nowicki, Maciej
2006
Structured belief bases. Zbl 1035.03007
Kahle, Reinhard
2002
A deductive-reductive form of logic: General theory and intuitionistic case. Zbl 1028.03011
Łukowski, Piotr
2002
Seeing to it that an agent forms a belief. Zbl 1035.03008
Wansing, Heinrich
2002
Some new results on PCL1 and its related systems. Zbl 1245.03043
Waragai, Toshiharu; Omori, Hitoshi
2010
Whitehead’s pointfree geometry and diametric posets. Zbl 1229.06004
Gerla, Giangiacomo; Paolillo, Bonaventura
2010
Can concepts be defined in terms of sets? Zbl 1246.03016
Duží, Marie; Materna, Pavel
2010
Nelson’s paraconsistent logics. Zbl 1001.03027
Akama, Seiki
1999
Vasil’iev: What did he exactly do? Zbl 1004.03501
Suchoń, Wojciech
1999
Two new strategies for inconsistency-adaptive logics. Zbl 1005.03510
De Clercq, Kristof
2000
Quasi-matrix logic as a paraconsistent logic for dubitable information. Zbl 1005.03511
Ivlev, Yu. V.
2000
Theory of quantum computation and philosophy of mathematics. I. Zbl 1213.68270
Wójtowicz, Krzysztof
2010
A modal approach to dynamic ontology: modal mereotopology. Zbl 1156.03028
Vakarelov, Dimiter
2008
ZF and the axiom of choice in some paraconsistent set theories. Zbl 1117.03346
Libert, Thierry
2003
Classical arithmetic is quite unnatural. Zbl 1117.03311
Van Bendegem, Jean Paul
2003
On the da Costa, Dubikajtis and Kotas’ system of the discursive logic, $$D_2^*$$. Zbl 1117.03325
Ciuciura, Janusz
2005
Finitely many-valued paraconsistent systems. Zbl 0985.03016
Tuziak, Roman
1997
Logic may be simple. Logic, congruence and algebra. Zbl 0985.03006
Béziau, Jean-Yves
1997
Extended pregroup grammars applied to natural languages. Zbl 1283.03060
Kiślak-Malinowska, Aleksandra
2012
Definite descriptions in intuitionist positive free logic. Zbl 07437984
Kürbis, Nils
2021
Disjoint logics. Zbl 07437980
Pailos, Federico
2021
Sequent calculi and interpolation for non-normal modal and deontic logics. Zbl 07437981
Orlandelli, Eugenio
2021
Twist-valued models for three-valued paraconsistent set theory. Zbl 07437982
Carnielli, Walter A.; Coniglio, Marcelo E.
2021
Dialogue games for minimal logic. Zbl 07437985
Pavlova, Alexandra
2021
Peirce’s triadic logic and its (overlooked) connexive expansion. Zbl 07437993
Belikov, Alex
2021
History of relating logic. The origin and research directions. Zbl 07499522
Klonowski, Mateusz
2021
On logic of strictly-deontic modalities. A semantic and tableau approach. Zbl 1478.03038
Jarmużek, Tomasz; Klonowski, Mateusz
2020
Free definite description theory – sequent calculi and cut elimination. Zbl 1478.03077
Indrzejczak, Andrzej
2020
A poly-connexive logic. Zbl 1478.03054
Francez, Nissim
2020
Beall-ing $$\mathbb{O}$$. Zbl 1479.03004
Joaquin, Jeremiah Joven
2020
A realistic view on normative conflicts. Zbl 1478.03037
Glavaničová, Daniela; Pascucci, Matteo
2020
Kilwardby’s 55$$^{\text{th}}$$ lesson. Zbl 1478.03009
Lenzen, Wolfgang
2020
Boolean connexive logics: semantics and tableau approach. Zbl 1458.03024
Jarmużek, Tomasz; Malinowski, Jacek
2019
Supervenience, dependence, disjunction. Zbl 1477.03052
Humberstone, Lloyd
2019
Fregean description theory in proof-theoretical setting. Zbl 1477.03238
Indrzejczak, Andrzej
2019
An epistemic interpretation of paraconsistent weak Kleene logic. Zbl 1452.03070
Szmuc, Damian E.
2019
Connexive logics. An overview and current trends. Zbl 1458.03005
Omori, Hitoshi; Wansing, Heinrich
2019
On three axiom systems for classical mereology. Zbl 1477.03020
Varzi, Achille C.
2019
Automated proof-searching for strong Kleene logic and its binary extensions via correspondence analysis. Zbl 1446.03055
Petrukhin, Yaroslav; Shangin, Vasilyi
2019
Humble connexivity. Zbl 1458.03014
Kapsner, Andreas
2019
Theory of quantum computation and philosophy of mathematics. II. Zbl 1430.68107
Wójtowicz, Krzysztof
2019
Jerzy Łos positional calculus and the origin of temporal logic. Zbl 1443.03010
Tkaczyk, Marcin; Jarmużek, Tomasz
2019
Relevant connexive logic. Zbl 1458.03019
Francez, Nissim
2019
On definability of connectives and modal logics over FDE. Zbl 1458.03015
Odintsov, Sergei P.; Skurt, Daniel; Wansing, Heinrich
2019
On a multilattice analogue of a hypersequent S5 calculus. Zbl 1458.03012
Grigoriev, Oleg; Petrukhin, Yaroslav
2019
A “distributive” or a “collective” approach to sentences? Zbl 1443.03003
Łukowski, Piotr
2019
Per se modality and natural implication – an account of connexive logic in Robert Kilwardby. Zbl 1458.03004
Johnston, Spencer
2019
Bi-classical connexive logic and its modal extension: cut-elimination, completeness and duality. Zbl 1458.03013
Kamide, Norihiro
2019
Leibniz’s laws of consistency and the philosophical foundations of connexive logic. Zbl 1458.03009
Lenzen, Wolfgang
2019
Towards a bridge over two approaches in connexive logic. Zbl 1458.03016
Omori, Hitoshi
2019
Connexive conditional logic. I. Zbl 1458.03017
Wansing, Heinrich; Unterhuber, Matthias
2019
Natural deduction for four-valued both regular and monotonic logics. Zbl 1456.03048
Petrukhin, Yaroslav
2018
A simulation of natural deduction and Gentzen sequent calculus. Zbl 1456.03084
Kozhemiachenko, Daniil
2018
The cumulative force of analogies. Zbl 1436.03023
Botting, David
2018
Maximality of the minimal $$\mathcal R$$-logic. Zbl 1456.03053
Karczewska, Anna Maria
2018
In defence of dialetheism: a reply to Beziau and Tkaczyk. Zbl 1456.03050
Martin, Ben
2018
A generalisation of a refutation-related method in paraconsistent logics. Zbl 1412.03011
2018
Existential import and relations of categorical and modal categorical statements. Zbl 1456.03038
Raclavský, Jiří
2018
Bochvar’s three-valued logic and literal paralogics: their lattice and functional equivalence. Zbl 1477.03074
Karpenko, Alexander; Tomova, Natalya
2017
Natural deduction for three-valued regular logics. Zbl 1417.03181
Petrukhin, Yaroslav
2017
A compositional semantics for ‘even if’ conditionals. Zbl 1417.03220
Vidal, Mathieu
2017
Algorithmic theories of problems. A constructive and a non-constructive approach. Zbl 1417.03124
Pezlar, Ivo
2017
The logical burdens of proof. Assertion and hypothesis. Zbl 1417.03136
Chiffi, Daniele; Schang, Fabien
2017
Commentary and illocutionary expressions in linear calculi of natural deduction. Zbl 1417.03129
Cordes, Moritz; Reinmuth, Friedrich
2017
Tautology elimination, cut elimination, and S5. Zbl 1417.03284
Indrzejczak, Andrzej
2017
Further reflections on sentences saying of themselves strange things. Zbl 1436.03081
Zardini, Elia
2017
The lattice of Belnapian modal logics: special extensions and counterparts. Zbl 1396.03034
Odintsov, Sergei P.; Speranski, Stanislav O.
2016
Rational agency from a truth-functional perspective. Zbl 1369.03054
Kubyshkina, Ekaterina; Zaitsev, Dmitry V.
2016
Trivial dialetheism and the logic of paradox. Zbl 1384.03017
Beziau, Jean-Yves
2016
Sweet SIXTEEN: automation via embedding into classical higher-order logic. Zbl 1373.03030
Steen, Alexander; Benzmüller, Christoph
2016
The case of dialetheism. Zbl 1384.03077
Tkaczyk, Marcin
2016
“The whole is greater than the part.” Mereology in Euclid’s Elements. Zbl 1369.03019
Robering, Klaus
2016
Simple cut elimination proof for hybrid logic. Zbl 1377.03051
Indrzejczak, Andrzej
2016
Partial and paraconsistent three-valued logics. Zbl 1402.03031
Degauquier, Vincent
2016
Relational semantics for the 4-valued relevant logics BN4 and E4. Zbl 1396.03040
Robles, Gemma; Blanco, José M.; López, Sandra M.; Paradela, Jesús R.; Recio, Marcos M.
2016
The need for pluralism of causality. Zbl 1369.03094
Weingartner, Paul
2016
Interplays of knowledge and non-contingency. Zbl 1396.03016
Costa-Leite, Alexandre
2016
A system for proper multiple-conclusion entailment. Zbl 1375.03016
Skura, Tomasz; Wiśniewski, Andrzej
2015
Hypersequent calculi for S5: the methods of cut elimination. Zbl 1372.03037
Bednarska, Kaja; Indrzejczak, Andrzej
2015
Paraconsistency and Sette’s calculus P1. Zbl 1372.03050
Ciuciura, Janusz
2015
Mereology then and now. Zbl 1369.03046
Gruszczyński, Rafał; Varzi, Achille C.
2015
Generating cooperative question-responses by means of erotetic search scenarios. Zbl 1407.68472
Łupkowski, Paweł; Leszczyńska-Jasion, Dorota
2015
On classical behavior of intuitionistic modalities. Zbl 1375.03022
Drobyshevich, Sergey
2015
Classical mereology is not elementarily axiomatizable. Zbl 1369.03068
Pietruszczak, Andrzej
2015
Reflections on temporal and modal logic. Zbl 1375.03019
Epstein, Richard L.
2015
A meta-logic of inference rules: syntax. Zbl 1375.03015
Citkin, Alex
2015
Neighborhood semantics for basic and intuitionistic logic. Zbl 1375.03014
2015
Dynamic epistemic logic and logical omniscience. Zbl 1375.03018
Rasmussen, Mattias Skipper
2015
Regions-based two dimensional continua: the Euclidean case. Zbl 1372.03026
Hellman, Geoffrey; Shapiro, Stewart
2015
Question dependency in terms of compliance and erotetic implication. Zbl 1375.03031
Łupkowski, Paweł
2015
Notes on models of first-order mereological theories. Zbl 1369.03080
Tsai, Hsing-Chien
2015
Quantified temporal alethic-deontic logic. Zbl 1375.03021
Rönnedal, Daniel
2015
In defence of an argument against truthmaker maximalism. Zbl 1369.03043
Gołosz, Jerzy
2015
A propositional logic of temporal connectives. Zbl 1375.03020
Epstein, Richard L.; Buitrago-Díaz, Esperanza
2015
Better than zilch? Zbl 1369.03033
Casati, Filippo; Fujikawa, Naoya
2015
An addendum to: “Notes on models of first-order mereological theories”. Zbl 1369.03081
Tsai, Hsing-Chien
2015
Pragmatic and dialogic interpretations of bi-intuitionism. I. Zbl 1364.03018
Bellin, Gianluigi; Carrara, Massimiliano; Chiffi, Daniele; Menti, Alessandro
2014
Concepts as hyperintensional objects. Zbl 1321.03017
Materna, Pavel
2014
A simple Henkin-style completeness proof for Gödel 3-valued logic G3. Zbl 1364.03038
Robles, Gemma
2014
Connecting bilattice theory with multivalued logic. Zbl 1321.03040
Genito, Daniele; Gerla, Giangiacomo
2014
A system of the logic of change. Zbl 1321.03045
Kiczuk, Stanisław
2014
Simulation logic. Zbl 1321.03029
Allwein, Gerard; Harrison, William L.; Andrews, David
2014
On the interaction of semantics and deduction in transparent intensional logic (is Tichý’s logic a logic?). Zbl 1321.03019
Raclavský, Jiři
2014
The logical way of being true: truth values and the ontological foundation of logic. Zbl 1321.03021
Shramko, Yaroslav
2014
Proof theory of epistemic logic of programs. Zbl 1321.03050
Maffezioli, Paolo; Naibo, Alberto
2014
On the proof-theory of a first-order extension of GL. Zbl 1321.03075
Schwartz, Yehuda; Tourlakis, George
2014
Is transparent intensional logic a non-classical logic? Zbl 1321.03018
Materna, Pavel
2014
Negation in weak positional calculi. Zbl 1321.03047
Tkaczyk, Marcin
2013
Why topology in the minimalist foundation must be pointfree. Zbl 1341.03097
Maietti, Maria Emilia; Sambin, Giovanni
2013
Decision procedures for some strong hybrid logics. Zbl 1321.03031
Indrzejczak, Andrzej; Zawidzki, Michał
2013
Admissibility of Ackermann’s rule $$\delta$$ in relevant logics. Zbl 1321.03036
Robles, Gemma
2013
On minimal models for pure calculi of names. Zbl 1321.03046
Kulicki, Piotr
2013
The abundance of the future. A paraconsistent approach to future contingents. Zbl 1321.03012
Ciuni, Roberto; Proietti, Carlo
2013
Presentism, eternalism, and the triviality problem. Zbl 1321.03013
Gołosz, Jerzy
2013
Special issue on point-free geometry and topology. An introduction. Zbl 1341.03004
2013
On the homogeneous countable Boolean contact algebra. Zbl 1327.06013
Düntsch, Ivo; Li, Sanjiang
2013
Dynamic relational mereotopology: logics for stable and unstable relations. Zbl 1344.03013
2013
Abstract logic of oppositions. Zbl 1283.03026
Schang, Fabien
2012
Models of possibilism and trivialism. Zbl 1283.03018
2012
...and 113 more Documents
all top 5

### Cited by 395 Authors

 16 Petrukhin, Yaroslav Igorevich 13 Maksimova, Larisa L’vovna 10 Pietruszczak, Andrzej 10 Robles, Gemma 10 Wansing, Heinrich Theodor 9 Omori, Hitoshi 8 Batens, Diderik 8 Coniglio, Marcelo Esteban 8 Indrzejczak, Andrzej 8 Kamide, Norihiro 8 Odintsov, Sergei P. 7 Béziau, Jean-Yves 7 Shangin, Vasily 7 Yun, Veta Fëdorovna 6 Jarmużek, Tomasz 6 Tsai, Hsing-chien 5 Carnielli, Walter Alexandre 5 Estrada-González, Luis 5 Ferguson, Thomas Macaulay 5 Gerla, Giangiacomo 5 Klonowski, Mateusz 5 Kürbis, Nils 5 Leszczyńska-Jasion, Dorota 5 Łupkowski, Paweł 5 Shramko, Yaroslav V. 5 Strasser, Christian 5 Wiśniewski, Andrzej 4 Avron, Arnon 4 Beirlaen, Mathieu 4 Chiffi, Daniele 4 Gruszczyński, Rafał 4 Nasieniewski, Marek 4 Osorio, Mauricio A. 4 Szmuc, Damian Enrique 4 Vakarelov, Dimiter 4 Zamansky, Anna 3 Arieli, Ofer 3 Baldi, Michele Pra 3 Berto, Francesco 3 Carballido, José Luis 3 Carrara, Massimiliano 3 Citkin, Alex 3 de Ronde, Christian 3 Demey, Lorenz 3 Drobyshevich, Sergeĭ Andreevich 3 Düntsch, Ivo 3 Duzi, Marie 3 Giordani, Alessandro 3 Humberstone, Lloyd 3 Meheus, Joke 3 Paoli, Francesco 3 Sedlár, Igor 3 Smessaert, Hans 3 Speranski, Stanislav O. 3 Standefer, Shawn 3 Varzi, Achille C. 3 Verdée, Peter 3 Weber, Zach 3 Weiss, Yale 3 Wójtowicz, Krzysztof 3 Wybraniec-Skardowska, Urszula 3 Zepeda, Claudia 2 Akama, Seiki 2 Allwein, Gerard 2 Baltag, Alexandru 2 Barbosa, Luís Soares 2 Barrio, Eduardo Alejandro 2 Běhounek, Libor 2 Belikov, Alex 2 Bennett, Brandon 2 Bonzio, Stefano 2 Borja Macías, Verónica 2 Cabalar, Pedro 2 Cantwell, John C. 2 Chakraborty, Mihir Kumar 2 Ciuciura, Janusz 2 Coppola, Cristina 2 Cordes, Moritz 2 Crupi, Vincenzo 2 Da Costa, Newton Carneiro Affonso 2 De Risi, Vincenzo 2 De, Michael 2 Epstein, Richard L. 2 Figallo Orellano, Aldo 2 Grigor’ev, Oleg 2 Harrison, William L. 2 Iacona, Andrea 2 Iemhoff, Rosalie 2 Kahle, Reinhard 2 Kaneiwa, Ken 2 Karczewska, Anna Maria 2 Kulicki, Piotr 2 Łukowski, Piotr 2 Maietti, Maria Emilia 2 Majer, Ondrej 2 Martins, Manuel António 2 Maschio, Samuele 2 Mruczek-Nasieniewska, Krystyna 2 Novák, Vilém 2 Nowak, Marek ...and 295 more Authors
all top 5

### Cited in 55 Journals

 68 Logic and Logical Philosophy 54 Studia Logica 32 Journal of Philosophical Logic 26 Journal of Applied Non-Classical Logics 24 Logica Universalis 20 Synthese 14 Bulletin of the Section of Logic 12 The Review of Symbolic Logic 11 Journal of Logic, Language and Information 9 Algebra and Logic 9 Journal of Applied Logic 8 Notre Dame Journal of Formal Logic 5 Siberian Mathematical Journal 5 Erkenntnis 5 Foundations of Science 4 Annals of Pure and Applied Logic 3 Artificial Intelligence 3 Fuzzy Sets and Systems 3 Theoretical Computer Science 3 History and Philosophy of Logic 3 Axioms 2 New Generation Computing 2 International Journal of Approximate Reasoning 2 Archive for Mathematical Logic 2 Soft Computing 2 Logical Methods in Computer Science 2 Nôus 2 1 Archive for History of Exact Sciences 1 International Journal of General Systems 1 International Journal of Theoretical Physics 1 Moscow University Mathematics Bulletin 1 International Journal of Mathematics and Mathematical Sciences 1 Journal of Geometry 1 The Journal of Symbolic Logic 1 Science of Computer Programming 1 Order 1 Information and Computation 1 Journal of Automated Reasoning 1 International Journal of Intelligent Systems 1 Formal Aspects of Computing 1 Mathematical Logic Quarterly (MLQ) 1 The Bulletin of Symbolic Logic 1 Annals of Mathematics and Artificial Intelligence 1 Journal of Vibration and Control 1 Theory of Computing Systems 1 International Studies in the Philosophy of Science 1 Central European Journal of Mathematics 1 ACM Transactions on Computational Logic 1 Foundations of Physics 1 Oberwolfach Reports 1 Sibirskie Èlektronnye Matematicheskie Izvestiya 1 Journal of Logic and Analysis 1 European Journal for Philosophy of Science 1 European Journal of Mathematics
all top 5

### Cited in 23 Fields

 403 Mathematical logic and foundations (03-XX) 63 Computer science (68-XX) 24 History and biography (01-XX) 16 General and overarching topics; collections (00-XX) 13 Order, lattices, ordered algebraic structures (06-XX) 8 Geometry (51-XX) 8 General topology (54-XX) 7 Quantum theory (81-XX) 5 Category theory; homological algebra (18-XX) 4 Game theory, economics, finance, and other social and behavioral sciences (91-XX) 3 General algebraic systems (08-XX) 3 Convex and discrete geometry (52-XX) 2 Number theory (11-XX) 2 Biology and other natural sciences (92-XX) 1 Field theory and polynomials (12-XX) 1 Commutative algebra (13-XX) 1 Associative rings and algebras (16-XX) 1 Group theory and generalizations (20-XX) 1 Topological groups, Lie groups (22-XX) 1 Statistics (62-XX) 1 Mechanics of deformable solids (74-XX) 1 Systems theory; control (93-XX) 1 Mathematics education (97-XX)