×

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: Journal; This journal is available open access.
Documents Indexed: 505 Publications (since 1993)
References Indexed: 195 Publications with 5,436 References.
all top 5

Authors

10 Pietruszczak, Andrzej
9 Robles, Gemma
9 Urchs, Max Peter
9 Wansing, Heinrich Theodor
8 Indrzejczak, Andrzej
7 Jarmużek, Tomasz
7 Łukowski, Piotr
7 Materna, Pavel
7 Petrukhin, Yaroslav Igorevich
7 Tkaczyk, Marcin
6 Gerla, Giangiacomo
6 Malinowski, Jacek
5 Kamide, Norihiro
5 Łupkowski, Paweł
5 Méndez, José M.
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 Carnielli, Walter Alexandre
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 Szmuc, Damian Enrique
4 Urbański, Mariusz
4 Woleński, Jan
3 Allwein, Gerard
3 Antunes, Henrique
3 Béziau, Jean-Yves
3 Blanco, José Miguel
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 Mikhaĭlovich
3 Gruszczyński, Rafał
3 Harrison, William L.
3 Klonowski, Mateusz
3 López, Sandra M.
3 Łyczak, Marcin
3 Mormann, Thomas
3 Mruczek-Nasieniewska, Krystyna
3 Pietryga, Anna
3 Scheffler, Uwe
3 Skura, Tomasz F.
3 Świȩtorzecka, Kordula
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 Bezerra, Edson Vinícius
2 Bjørdal, Frode Alfson
2 Bressan, Aldo
2 Coniglio, Marcelo Esteban
2 Coppola, Cristina
2 Da Costa, Newton Carneiro Affonso
2 Da Ré, Bruno
2 Degen, Josef Wolfgang
2 Drobyshevich, Sergeĭ Andreevich
2 Epstein, Richard L.
2 Faust, Don H.
2 Frankowski, Szymon
2 Galvan, Sergio
2 Glavaničová, Daniela
2 Jaskowski, Stanislaw
2 Joaquin, Jeremiah Joven B.
2 Karpenko, Aleksandr Stepanovich
2 Kiczuk, Stanisław
2 Koszowy, Marcin
2 Kovač, Srećko
2 Kürbis, Nils
2 Lenzen, Wolfgang
2 Luna, Laureano
2 Maffezioli, Paolo
2 Malinowski, Grzegorz
2 Menti, Alessandro
2 Moniri, Morteza
2 Muratvitsky, Alexei Y.
2 Murawski, Roman
2 Odrowąż-Sypniewska, Joanna
2 Pailos, Federico Matias
2 Pascucci, Matteo
2 Paśniczek, Jacek
...and 299 more Authors

Publications by Year

Citations contained in zbMATH Open

236 Publications have been cited 804 times in 551 Documents Cited by Year
Formal inconsistency and evolutionary databases. Zbl 1005.03509
Carnielli, Walter A.; Marcos, João; de Amo, Sandra
37
2000
A propositional calculus for inconsistent deductive systems. Zbl 1013.03004
Jaśkowski, Stanisław
22
1999
Bochvar’s three-valued logic and literal paralogics: their lattice and functional equivalence. Zbl 1477.03074
Karpenko, Alexander; Tomova, Natalya
18
2017
Logic of classical refutability and class of extensions of minimal logic. Zbl 1034.03027
Odintsov, S. P.
16
2001
The paraconsistent logic Z. A possible solution to Jaśkowski’s problem. Zbl 1134.03018
Béziau, Jean-Yves
16
2006
Jaśkowski’s criterion and three-valued paraconsistent logics. Zbl 1001.03029
Karpenko, Alexander S.
15
1999
On the discussive conjunction in the propositional calculus for inconsistent deductive systems. Zbl 1013.03005
Jaśkowski, Stanisław
14
1999
Mereology then and now. Zbl 1369.03046
Gruszczyński, Rafał; Varzi, Achille C.
13
2015
Towards the unification of inconsistency handling mechanisms. Zbl 1005.03508
Batens, Diderik
12
2000
Hypersequent calculi for S5: the methods of cut elimination. Zbl 1372.03037
Bednarska, Kaja; Indrzejczak, Andrzej
12
2015
The lattice of Belnapian modal logics: special extensions and counterparts. Zbl 1396.03034
Odintsov, Sergei P.; Speranski, Stanislav O.
12
2016
Fregean description theory in proof-theoretical setting. Zbl 1477.03238
Indrzejczak, Andrzej
11
2019
Hintikka and Cresswell on logical omniscience. Zbl 1134.03006
Jago, Mark
10
2006
Paraconsistency and analyticity. Zbl 1001.03031
Oller, Carlos A.
9
1999
Natural deduction for three-valued regular logics. Zbl 1417.03181
Petrukhin, Yaroslav
9
2017
Natural deduction for four-valued both regular and monotonic logics. Zbl 1456.03048
Petrukhin, Yaroslav
9
2018
On logic of strictly-deontic modalities. A semantic and tableau approach. Zbl 1478.03038
Jarmużek, Tomasz; Klonowski, Mateusz
9
2020
A system for proper multiple-conclusion entailment. Zbl 1375.03016
Skura, Tomasz; Wiśniewski, Andrzej
9
2015
Supervenience, dependence, disjunction. Zbl 1477.03052
Humberstone, Lloyd
8
2019
An epistemic interpretation of paraconsistent weak Kleene logic. Zbl 1452.03070
Szmuc, Damian E.
8
2019
Boolean connexive logics: semantics and tableau approach. Zbl 1458.03024
Jarmużek, Tomasz; Malinowski, Jacek
8
2019
Pragmatic and dialogic interpretations of bi-intuitionism. I. Zbl 1364.03018
Bellin, Gianluigi; Carrara, Massimiliano; Chiffi, Daniele; Menti, Alessandro
8
2014
Paraconsistency and Sette’s calculus P1. Zbl 1372.03050
Ciuciura, Janusz
8
2015
Rational agency from a truth-functional perspective. Zbl 1369.03054
Kubyshkina, Ekaterina; Zaitsev, Dmitry V.
7
2016
Space, points and mereology. On foundations of point-free Euclidean geometry. Zbl 1186.03019
Gruszczyński, Rafał; Pietruszczak, Andrzej
7
2009
Decidability of mereological theories. Zbl 1186.03018
Tsai, Hsing-chien
7
2009
Classical mereology is not elementarily axiomatizable. Zbl 1369.03068
Pietruszczak, Andrzej
7
2015
Automated proof-searching for strong Kleene logic and its binary extensions via correspondence analysis. Zbl 1446.03055
Petrukhin, Yaroslav; Shangin, Vasilyi
6
2019
On the logics related to A. Arruda’s system V1. Zbl 1001.03030
Popov, V. M.
6
1999
Continuous lattices and Whiteheadian theory of space. Zbl 0974.03011
Mormann, Thomas
6
1998
Completeness of minimal positional calculus. Zbl 1117.03328
Jarmużek, Tomasz; Pietruszczak, Andrzej
6
2004
The modes of physical properties in the logical foundations of physics. Zbl 1117.00306
Smets, Sonja
6
2005
Pieces of mereology. Zbl 1117.03018
Pietruszczak, Andrzej
6
2005
Admissibility of cut in congruent modal logics. Zbl 1248.03076
Indrzejczak, Andrzej
6
2011
Connexive logics. An overview and current trends. Zbl 1458.03005
Omori, Hitoshi; Wansing, Heinrich
6
2019
On a multilattice analogue of a hypersequent S5 calculus. Zbl 1458.03012
Grigoriev, Oleg; Petrukhin, Yaroslav
6
2019
Concepts as hyperintensional objects. Zbl 1321.03017
Materna, Pavel
6
2014
From BDI and stit to bdi-stit logic. Zbl 1159.03013
Semmling, Caroline; Wansing, Heinrich
5
2008
A deductive-reductive form of logic: General theory and intuitionistic case. Zbl 1028.03011
Łukowski, Piotr
5
2002
An adaptive logic framework for conditional obligations and deontic dilemmas. Zbl 1229.03020
Straßer, Christian
5
2010
Anselm and Russell. Zbl 1134.03300
Nowicki, Maciej
5
2006
More on the decidability of mereological theories. Zbl 1244.03054
Tsai, Hsing-chien
5
2011
Models of possibilism and trivialism. Zbl 1283.03018
Estrada-González, Luis
5
2012
Humble connexivity. Zbl 1458.03014
Kapsner, Andreas
5
2019
Generating cooperative question-responses by means of erotetic search scenarios. Zbl 1407.68472
Łupkowski, Paweł; Leszczyńska-Jasion, Dorota
5
2015
On classical behavior of intuitionistic modalities. Zbl 1375.03022
Drobyshevich, Sergey
5
2015
Dynamic epistemic logic and logical omniscience. Zbl 1375.03018
Rasmussen, Mattias Skipper
5
2015
Trivial dialetheism and the logic of paradox. Zbl 1384.03017
Beziau, Jean-Yves
5
2016
Set-theoretic mereology. Zbl 1369.03047
Hamkins, Joel David; Kikuchi, Makoto
4
2016
A systematics of deontic action logics based on Boolean algebra. Zbl 1239.03012
Trypuz, Robert; Kulicki, Piotr
4
2010
Simplified Kripke style semantics for some very weak modal logics. Zbl 1222.03026
Pietruszczak, Andrzej
4
2010
Vasil’iev: What did he exactly do? Zbl 1004.03501
Suchoń, Wojciech
4
1999
On Béziau’s logic Z. Zbl 1170.03015
Omori, Hitoshi; Waragai, Toshiharu
4
2008
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
4
2008
Symmetric and dual paraconsistent logics. Zbl 1227.03034
Kamide, Norihiro; Wansing, Heinrich
4
2010
Some adaptive logics for diagnosis. Zbl 1117.03327
Batens, Diderik; Meheus, Joke; Provijn, Dagmar; Verhoeven, Liza
4
2003
The laws of non-bivalent probability. Zbl 1134.03017
Cantwell, John
4
2006
Towards intuitionistic dynamic logic. Zbl 1129.03015
Degen, J. W.; Werner, J. M.
4
2006
A formal approach to exploring the interrogator’s perspective in the Turing test. Zbl 1244.03023
Łupkowski, Paweł
4
2011
On axiomatization of Łukasiewicz’s four-valued modal logic. Zbl 1261.03090
Tkaczyk, Marcin
4
2011
A class of simpler logical matrices for the variable-sharing property. Zbl 1254.03045
Robles, Gemma; Méndez, José M.
4
2011
Abstract logic of oppositions. Zbl 1283.03026
Schang, Fabien
4
2012
On algorithmic properties of propositional inconsistency-adaptive logics. Zbl 1283.03059
Odintsov, Sergei P.; Speranski, Stanislav O.
4
2012
Relevant connexive logic. Zbl 1458.03019
Francez, Nissim
4
2019
Negation in weak positional calculi. Zbl 1321.03047
Tkaczyk, Marcin
4
2013
Modal hybrid logic. Zbl 1145.03009
Indrzejczak, Andrzej
4
2007
A simple Henkin-style completeness proof for Gödel 3-valued logic G3. Zbl 1364.03038
Robles, Gemma
4
2014
A meta-logic of inference rules: syntax. Zbl 1375.03015
Citkin, Alex
4
2015
Belnap-Dunn semantics for the variants of BN4 and E4 which contain Routley and Meyer’s Logic B. Zbl 07499529
López, Sandra M.
3
2022
Sweet SIXTEEN: automation via embedding into classical higher-order logic. Zbl 1373.03030
Steen, Alexander; Benzmüller, Christoph
3
2016
On three axiom systems for classical mereology. Zbl 1477.03020
Varzi, Achille C.
3
2019
Algorithmic theories of problems. A constructive and a non-constructive approach. Zbl 1417.03124
Pezlar, Ivo
3
2017
The logical burdens of proof. Assertion and hypothesis. Zbl 1417.03136
Chiffi, Daniele; Schang, Fabien
3
2017
The ontological argument and Russell’s antinomy. Zbl 1213.03012
Uckelman, Sara L.
3
2010
Reasoning about space: The hole story. Zbl 0983.03008
Varzi, Achille C.
3
1996
Preferences as inconsistency-resolvers: The inconsistency-adaptive logic PRL. Zbl 1005.03513
Vanackere, Guido
3
2000
Inferential paraconsistency. Zbl 1005.03031
Malinowski, Grzegorz
3
2000
A mind of a non-countable set of ideas. Zbl 1152.03301
Citkin, Alexander
3
2008
Formulas of one propositional variable in intuitionistic logic with the Solovay modality. Zbl 1157.03040
Esakia, Leo; Grigolia, Revaz
3
2008
A deductive-reductive form of logic: Intuitionistic S4 modalities. Zbl 1028.03012
Łukowski, Piotr
3
2002
A new axiomatization of Jaśkowski’s discussive logic. Zbl 1028.03020
Vasyukov, Vladimir L.
3
2001
Compositionality is not the problem. Zbl 0978.03024
Hodges, Wilfrid
3
1998
A compositional semantics for ‘even if’ conditionals. Zbl 1417.03220
Vidal, Mathieu
3
2017
Some new results on PCL1 and its related systems. Zbl 1245.03043
Waragai, Toshiharu; Omori, Hitoshi
3
2010
How to define a mereological (collective) set. Zbl 1243.03067
Gruszczyński, Rafał; Pietruszczak, Andrzej
3
2010
The Collatz conjecture. A case study in mathematical problem solving. Zbl 1117.00304
Van Bendegem, Jean Paul
3
2005
Five theories of reasoning: interconnections and applications to mathematics. Zbl 1244.03028
Pease, Alison; Aberdein, Andrew
3
2011
Conceptual and derivation systems. Zbl 1244.03030
Raclavský, Jiří; Kuchyňka, Petr
3
2011
Librationist closures of the paradoxes. Zbl 1301.03010
Bjørdal, Frode
3
2012
Extended pregroup grammars applied to natural languages. Zbl 1283.03060
Kiślak-Malinowska, Aleksandra
3
2012
Leibniz’s laws of consistency and the philosophical foundations of connexive logic. Zbl 1458.03009
Lenzen, Wolfgang
3
2019
Connexive conditional logic. I. Zbl 1458.03017
Wansing, Heinrich; Unterhuber, Matthias
3
2019
Free definite description theory – sequent calculi and cut elimination. Zbl 1478.03077
Indrzejczak, Andrzej
3
2020
Why topology in the minimalist foundation must be pointfree. Zbl 1341.03097
Maietti, Maria Emilia; Sambin, Giovanni
3
2013
Connecting bilattice theory with multivalued logic. Zbl 1321.03040
Genito, Daniele; Gerla, Giangiacomo
3
2014
Reflections on temporal and modal logic. Zbl 1375.03019
Epstein, Richard L.
3
2015
Neighborhood semantics for basic and intuitionistic logic. Zbl 1375.03014
Moniri, Morteza; Shirmohammadzadeh Maleki, Fatemeh
3
2015
Notes on models of first-order mereological theories. Zbl 1369.03080
Tsai, Hsing-Chien
3
2015
Regions-based two dimensional continua: the Euclidean case. Zbl 1372.03026
Hellman, Geoffrey; Shapiro, Stewart
3
2015
Simple cut elimination proof for hybrid logic. Zbl 1377.03051
Indrzejczak, Andrzej
3
2016
Immune logics ain’t that immune. Zbl 07706071
Joaquin, Jeremiah Joven
1
2023
Revisiting the conditional construal of conditional probability. Zbl 07706072
Węgrecki, Jakub; Wroński, Leszek
1
2023
Belnap-Dunn semantics for the variants of BN4 and E4 which contain Routley and Meyer’s Logic B. Zbl 07499529
López, Sandra M.
3
2022
EF4, EF4-M and EF4-Ł: a companion to BN4 and two modal four-valued systems without strong Łukasiewicz-type modal paradoxes. Zbl 07499531
Blanco, José Miguel
1
2022
Disjoint logics. Zbl 1517.03025
Pailos, Federico
2
2021
Definite descriptions in intuitionist positive free logic. Zbl 1517.03010
Kürbis, Nils
2
2021
Peirce’s triadic logic and its (overlooked) connexive expansion. Zbl 1517.03022
Belikov, Alex
2
2021
Relating logic and relating semantics. History, philosophical applications and some of technical problems. Zbl 1496.03008
Jarmużek, Tomasz; Paoli, Francesco
1
2021
History of relating logic. The origin and research directions. Zbl 1496.03004
Klonowski, Mateusz
1
2021
Sequent calculi and interpolation for non-normal modal and deontic logics. Zbl 1517.03018
Orlandelli, Eugenio
1
2021
Twist-valued models for three-valued paraconsistent set theory. Zbl 1517.03039
Carnielli, Walter A.; Coniglio, Marcelo E.
1
2021
Dialogue games for minimal logic. Zbl 1517.03040
Pavlova, Alexandra
1
2021
Modal multilattice logics with Tarski, Kuratowski, and Halmos operators. Zbl 1517.03016
Grigoriev, Oleg; Petrukhin, Yaroslav
1
2021
On logic of strictly-deontic modalities. A semantic and tableau approach. Zbl 1478.03038
Jarmużek, Tomasz; Klonowski, Mateusz
9
2020
Free definite description theory – sequent calculi and cut elimination. Zbl 1478.03077
Indrzejczak, Andrzej
3
2020
A poly-connexive logic. Zbl 1478.03054
Francez, Nissim
2
2020
Beall-ing \(\mathbb{O}\). Zbl 1479.03004
Joaquin, Jeremiah Joven
2
2020
Logic of social ontology and Łoś’s operator. Zbl 1478.03011
Malinowski, Jacek; Pietrowicz, Krzysztof; Szalacha-Jarmużek, Joanna
2
2020
Explicit conditionals in the framework of classical conditional logic. Zbl 1478.03039
Pizzi, Claudio Ercole Antonio
1
2020
On the system CB\(^1\) and a lattice of the paraconsistent calculi. Zbl 1478.03053
Ciuciura, Janusz
1
2020
A realistic view on normative conflicts. Zbl 1478.03037
Glavaničová, Daniela; Pascucci, Matteo
1
2020
Kilwardby’s 55\(^{\text{th}}\) lesson. Zbl 1478.03009
Lenzen, Wolfgang
1
2020
Fregean description theory in proof-theoretical setting. Zbl 1477.03238
Indrzejczak, Andrzej
11
2019
Supervenience, dependence, disjunction. Zbl 1477.03052
Humberstone, Lloyd
8
2019
An epistemic interpretation of paraconsistent weak Kleene logic. Zbl 1452.03070
Szmuc, Damian E.
8
2019
Boolean connexive logics: semantics and tableau approach. Zbl 1458.03024
Jarmużek, Tomasz; Malinowski, Jacek
8
2019
Automated proof-searching for strong Kleene logic and its binary extensions via correspondence analysis. Zbl 1446.03055
Petrukhin, Yaroslav; Shangin, Vasilyi
6
2019
Connexive logics. An overview and current trends. Zbl 1458.03005
Omori, Hitoshi; Wansing, Heinrich
6
2019
On a multilattice analogue of a hypersequent S5 calculus. Zbl 1458.03012
Grigoriev, Oleg; Petrukhin, Yaroslav
6
2019
Humble connexivity. Zbl 1458.03014
Kapsner, Andreas
5
2019
Relevant connexive logic. Zbl 1458.03019
Francez, Nissim
4
2019
On three axiom systems for classical mereology. Zbl 1477.03020
Varzi, Achille C.
3
2019
Leibniz’s laws of consistency and the philosophical foundations of connexive logic. Zbl 1458.03009
Lenzen, Wolfgang
3
2019
Connexive conditional logic. I. Zbl 1458.03017
Wansing, Heinrich; Unterhuber, Matthias
3
2019
Theory of quantum computation and philosophy of mathematics. II. Zbl 1430.68107
Wójtowicz, Krzysztof
2
2019
Jerzy Łos positional calculus and the origin of temporal logic. Zbl 1443.03010
Tkaczyk, Marcin; Jarmużek, Tomasz
2
2019
Per se modality and natural implication – an account of connexive logic in Robert Kilwardby. Zbl 1458.03004
Johnston, Spencer
2
2019
Towards a bridge over two approaches in connexive logic. Zbl 1458.03016
Omori, Hitoshi
2
2019
On definability of connectives and modal logics over FDE. Zbl 1458.03015
Odintsov, Sergei P.; Skurt, Daniel; Wansing, Heinrich
2
2019
A “distributive” or a “collective” approach to sentences? Zbl 1443.03003
Łukowski, Piotr
1
2019
Inconsistent models (and infinite models) for arithmetics with constructible falsity. Zbl 1458.03023
Ferguson, Thomas Macaulay
1
2019
Bi-classical connexive logic and its modal extension: cut-elimination, completeness and duality. Zbl 1458.03013
Kamide, Norihiro
1
2019
Judging actions on the basis of prima facie duties. The case of self-driving cars. Zbl 1458.68154
Kulicki, Piotr; Trypuz, Robert
1
2019
Natural deduction for four-valued both regular and monotonic logics. Zbl 1456.03048
Petrukhin, Yaroslav
9
2018
A simulation of natural deduction and Gentzen sequent calculus. Zbl 1456.03084
Kozhemiachenko, Daniil
2
2018
Maximality of the minimal \(\mathcal R\)-logic. Zbl 1456.03053
Karczewska, Anna Maria
2
2018
In defence of dialetheism: a reply to Beziau and Tkaczyk. Zbl 1456.03050
Martin, Ben
2
2018
Existential import and relations of categorical and modal categorical statements. Zbl 1456.03038
Raclavský, Jiří
1
2018
The cumulative force of analogies. Zbl 1436.03023
Botting, David
1
2018
A generalisation of a refutation-related method in paraconsistent logics. Zbl 1412.03011
Trybus, Adam
1
2018
Bochvar’s three-valued logic and literal paralogics: their lattice and functional equivalence. Zbl 1477.03074
Karpenko, Alexander; Tomova, Natalya
18
2017
Natural deduction for three-valued regular logics. Zbl 1417.03181
Petrukhin, Yaroslav
9
2017
Algorithmic theories of problems. A constructive and a non-constructive approach. Zbl 1417.03124
Pezlar, Ivo
3
2017
The logical burdens of proof. Assertion and hypothesis. Zbl 1417.03136
Chiffi, Daniele; Schang, Fabien
3
2017
A compositional semantics for ‘even if’ conditionals. Zbl 1417.03220
Vidal, Mathieu
3
2017
Tautology elimination, cut elimination, and S5. Zbl 1417.03284
Indrzejczak, Andrzej
1
2017
Further reflections on sentences saying of themselves strange things. Zbl 1436.03081
Zardini, Elia
1
2017
Commentary and illocutionary expressions in linear calculi of natural deduction. Zbl 1417.03129
Cordes, Moritz; Reinmuth, Friedrich
1
2017
First degree entailment, symmetry and paradox. Zbl 1419.03026
Restall, Greg
1
2017
The lattice of Belnapian modal logics: special extensions and counterparts. Zbl 1396.03034
Odintsov, Sergei P.; Speranski, Stanislav O.
12
2016
Rational agency from a truth-functional perspective. Zbl 1369.03054
Kubyshkina, Ekaterina; Zaitsev, Dmitry V.
7
2016
Trivial dialetheism and the logic of paradox. Zbl 1384.03017
Beziau, Jean-Yves
5
2016
Set-theoretic mereology. Zbl 1369.03047
Hamkins, Joel David; Kikuchi, Makoto
4
2016
Sweet SIXTEEN: automation via embedding into classical higher-order logic. Zbl 1373.03030
Steen, Alexander; Benzmüller, Christoph
3
2016
Simple cut elimination proof for hybrid logic. Zbl 1377.03051
Indrzejczak, Andrzej
3
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.
3
2016
The case of dialetheism. Zbl 1384.03077
Tkaczyk, Marcin
3
2016
“The whole is greater than the part.” Mereology in Euclid’s Elements. Zbl 1369.03019
Robering, Klaus
2
2016
Partial and paraconsistent three-valued logics. Zbl 1402.03031
Degauquier, Vincent
2
2016
Composition as identity and plural Cantor’s theorem. Zbl 1369.03028
Bohn, Einar Duenger
1
2016
Composition, identity, and emergence. Zbl 1369.03030
Calosi, Claudio
1
2016
The need for pluralism of causality. Zbl 1369.03094
Weingartner, Paul
1
2016
Interplays of knowledge and non-contingency. Zbl 1396.03016
Costa-Leite, Alexandre
1
2016
Mereology then and now. Zbl 1369.03046
Gruszczyński, Rafał; Varzi, Achille C.
13
2015
Hypersequent calculi for S5: the methods of cut elimination. Zbl 1372.03037
Bednarska, Kaja; Indrzejczak, Andrzej
12
2015
A system for proper multiple-conclusion entailment. Zbl 1375.03016
Skura, Tomasz; Wiśniewski, Andrzej
9
2015
Paraconsistency and Sette’s calculus P1. Zbl 1372.03050
Ciuciura, Janusz
8
2015
Classical mereology is not elementarily axiomatizable. Zbl 1369.03068
Pietruszczak, Andrzej
7
2015
Generating cooperative question-responses by means of erotetic search scenarios. Zbl 1407.68472
Łupkowski, Paweł; Leszczyńska-Jasion, Dorota
5
2015
On classical behavior of intuitionistic modalities. Zbl 1375.03022
Drobyshevich, Sergey
5
2015
Dynamic epistemic logic and logical omniscience. Zbl 1375.03018
Rasmussen, Mattias Skipper
5
2015
A meta-logic of inference rules: syntax. Zbl 1375.03015
Citkin, Alex
4
2015
Reflections on temporal and modal logic. Zbl 1375.03019
Epstein, Richard L.
3
2015
Neighborhood semantics for basic and intuitionistic logic. Zbl 1375.03014
Moniri, Morteza; Shirmohammadzadeh Maleki, Fatemeh
3
2015
Notes on models of first-order mereological theories. Zbl 1369.03080
Tsai, Hsing-Chien
3
2015
Regions-based two dimensional continua: the Euclidean case. Zbl 1372.03026
Hellman, Geoffrey; Shapiro, Stewart
3
2015
Question dependency in terms of compliance and erotetic implication. Zbl 1375.03031
Łupkowski, Paweł
2
2015
Quantified temporal alethic-deontic logic. Zbl 1375.03021
Rönnedal, Daniel
1
2015
In defence of an argument against truthmaker maximalism. Zbl 1369.03043
Gołosz, Jerzy
1
2015
A propositional logic of temporal connectives. Zbl 1375.03020
Epstein, Richard L.; Buitrago-Díaz, Esperanza
1
2015
Better than zilch? Zbl 1369.03033
Casati, Filippo; Fujikawa, Naoya
1
2015
Abelian mereology. Zbl 1369.03036
Cotnoir, A. J.
1
2015
An addendum to: “Notes on models of first-order mereological theories”. Zbl 1369.03081
Tsai, Hsing-Chien
1
2015
Pragmatic and dialogic interpretations of bi-intuitionism. I. Zbl 1364.03018
Bellin, Gianluigi; Carrara, Massimiliano; Chiffi, Daniele; Menti, Alessandro
8
2014
Concepts as hyperintensional objects. Zbl 1321.03017
Materna, Pavel
6
2014
A simple Henkin-style completeness proof for Gödel 3-valued logic G3. Zbl 1364.03038
Robles, Gemma
4
2014
Connecting bilattice theory with multivalued logic. Zbl 1321.03040
Genito, Daniele; Gerla, Giangiacomo
3
2014
The logical way of being true: truth values and the ontological foundation of logic. Zbl 1321.03021
Shramko, Yaroslav
2
2014
A system of the logic of change. Zbl 1321.03045
Kiczuk, Stanisław
2
2014
Simulation logic. Zbl 1321.03029
Allwein, Gerard; Harrison, William L.; Andrews, David
2
2014
...and 136 more Documents
all top 5

Cited by 460 Authors

20 Petrukhin, Yaroslav Igorevich
14 Wansing, Heinrich Theodor
13 Maksimova, Larisa L’vovna
12 Indrzejczak, Andrzej
11 Batens, Diderik
11 Omori, Hitoshi
11 Pietruszczak, Andrzej
11 Robles, Gemma
10 Kamide, Norihiro
10 Méndez, José M.
9 Béziau, Jean-Yves
8 Coniglio, Marcelo Esteban
8 Odintsov, Sergei P.
8 Shangin, Vasily
7 Tsai, Hsing-chien
7 Yun, Veta Fëdorovna
6 Estrada-González, Luis
6 Ferguson, Thomas Macaulay
6 Jarmużek, Tomasz
6 Klonowski, Mateusz
6 Kürbis, Nils
5 Avron, Arnon
5 Carnielli, Walter Alexandre
5 Chiffi, Daniele
5 Gerla, Giangiacomo
5 Gruszczyński, Rafał
5 Leszczyńska-Jasion, Dorota
5 Łupkowski, Paweł
5 Nasieniewski, Marek
5 Shramko, Yaroslav V.
5 Standefer, Shawn
5 Strasser, Christian
5 Szmuc, Damian Enrique
5 Varzi, Achille C.
5 Wiśniewski, Andrzej
4 Beirlaen, Mathieu
4 Bonzio, Stefano
4 Carrara, Massimiliano
4 Citkin, Alex
4 de Ronde, Christian
4 Drobyshevich, Sergeĭ Andreevich
4 Grigor’ev, Oleg Mikhaĭlovich
4 Maffezioli, Paolo
4 Osorio, Mauricio A.
4 Tomova, Natal’ya Evgen’evna
4 Vakarelov, Dimiter
4 Weiss, Yale
4 Wójtowicz, Krzysztof
4 Wybraniec-Skardowska, Urszula B.
4 Zamansky, Anna
3 Arieli, Ofer
3 Baldi, Michele Pra
3 Baltag, Alexandru
3 Berto, Francesco
3 Calosi, Claudio
3 Carballido, José Luis
3 Ciuciura, Janusz
3 Demey, Lorenz
3 Düntsch, Ivo
3 Duzi, Marie
3 Figallo Orellano, Aldo
3 Francez, Nissim
3 Giordani, Alessandro
3 Humberstone, Lloyd
3 Joaquin, Jeremiah Joven B.
3 Kulicki, Piotr
3 Łukowski, Piotr
3 Meheus, Joke
3 Mruczek-Nasieniewska, Krystyna
3 Pailos, Federico Matias
3 Paoli, Francesco
3 Pascucci, Matteo
3 Raclavský, Jiří
3 Sedlár, Igor
3 Smessaert, Hans
3 Speranski, Stanislav O.
3 Trypuz, Robert
3 Verdée, Peter
3 Weber, Zach
3 Zepeda, Claudia
2 Akama, Seiki
2 Allwein, Gerard
2 Anellis, Irving Henry
2 Barbosa, Luís Soares
2 Barrio, Eduardo Alejandro
2 Běhounek, Libor
2 Belikov, Alex
2 Bennett, Brandon
2 Bjerring, Jens Christian
2 Bjørdal, Frode Alfson
2 Bohrer, Rose
2 Borja Macías, Verónica
2 Cabalar, Pedro
2 Cantwell, John C.
2 Cao, Nhung
2 Cavaliere, Ferdinando
2 Chakraborty, Mihir Kumar
2 Coppola, Cristina
2 Cordes, Moritz
2 Crupi, Vincenzo
...and 360 more Authors
all top 5

Cited in 57 Journals

80 Logic and Logical Philosophy
58 Studia Logica
41 Journal of Philosophical Logic
40 Synthese
28 Journal of Applied Non-Classical Logics
26 Logica Universalis
21 Bulletin of the Section of Logic
19 The Review of Symbolic Logic
15 Journal of Logic, Language and Information
12 Notre Dame Journal of Formal Logic
11 Logicheskie Issledovaniya
10 Algebra and Logic
9 Journal of Applied Logic
6 History and Philosophy of Logic
5 Siberian Mathematical Journal
5 Erkenntnis
5 Foundations of Science
4 Artificial Intelligence
4 Fuzzy Sets and Systems
4 Annals of Pure and Applied Logic
4 Mathematical Logic Quarterly (MLQ)
3 Theoretical Computer Science
3 International Journal of Approximate Reasoning
3 Axioms
2 New Generation Computing
2 Journal of Automated Reasoning
2 Archive for Mathematical Logic
2 Soft Computing
2 Logical Methods in Computer Science
2 Nôus
2 Chelyabinskiĭ Fiziko-Matematicheskiĭ Zhurnal
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 International Journal of Intelligent Systems
1 Formal Aspects of Computing
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 Fundamenta Informaticae
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

Citations by Year