Logica Universalis

 Short Title: Log. Univers. Publisher: Springer (Birkhäuser), Basel ISSN: 1661-8297; 1661-8300/e Online: http://link.springer.com/journal/volumesAndIssues/11787 Comments: Indexed cover-to-cover
 Documents Indexed: 327 Publications (since 2007) References Indexed: 281 Publications with 9,781 References.
all top 5

Latest Issues

 16, No. 1-2 (2022) 15, No. 4 (2021) 15, No. 3 (2021) 15, No. 2 (2021) 15, No. 1 (2021) 14, No. 4 (2020) 14, No. 3 (2020) 14, No. 2 (2020) 14, No. 1 (2020) 13, No. 4 (2019) 13, No. 3 (2019) 13, No. 2 (2019) 13, No. 1 (2019) 12, No. 3-4 (2018) 12, No. 1-2 (2018) 11, No. 4 (2017) 11, No. 3 (2017) 11, No. 2 (2017) 11, No. 1 (2017) 10, No. 4 (2016) 10, No. 2-3 (2016) 10, No. 1 (2016) 9, No. 4 (2015) 9, No. 3 (2015) 9, No. 2 (2015) 9, No. 1 (2015) 8, No. 3-4 (2014) 8, No. 2 (2014) 8, No. 1 (2014) 7, No. 4 (2013) 7, No. 3 (2013) 7, No. 2 (2013) 7, No. 1 (2013) 6, No. 3-4 (2012) 6, No. 1-2 (2012) 5, No. 2 (2011) 5, No. 1 (2011) 4, No. 2 (2010) 4, No. 1 (2010) 3, No. 2 (2009) 3, No. 1 (2009) 2, No. 2 (2008) 2, No. 1 (2008) 1, No. 2 (2007) 1, No. 1 (2007)
all top 5

Authors

 10 Béziau, Jean-Yves 5 Anellis, Irving H. 5 Francez, Nissim 5 Gabbay, Dov M. 4 Avron, Arnon 4 Chakraborty, Mihir Kumar 4 Coniglio, Marcelo Esteban 4 Dunn, Jon Michael 4 Hintikka, Jaakko 4 Lenzen, Wolfgang 4 Petrukhin, Yaroslav Igorevich 4 Pizzi, Claudio Ercole Antonio 3 Arenhart, Jonas Rafael Becker 3 Bimbó, Katalin 3 Caleiro, Carlos 3 Choudhury, Lopamudra 3 Citkin, Alex 3 Diaconescu, Răzvan 3 Kamide, Norihiro 3 Kaminski, Michael 3 Lewitzka, Steffen 3 Mossakowski, Till 3 Muravitsky, Alexei Yu. 3 Prade, Henri M. 3 Rasga, João 3 Sernadas, Cristina S. 3 Smessaert, Hans 2 Ackerman, Nathanael Leedom 2 Arazim, Pavel 2 Archambault, Jacob 2 Benzmüller, Christoph Ewald 2 Bhattacharjee, Reetu 2 Brumberg-Chaumont, Julie 2 Brunner, Andreas Bernhard Michael 2 Bueno-Soler, Juliana 2 Carnielli, Walter Alexandre 2 Chatti, Saloua 2 Desclés, Jean-Pierre 2 Drago, Antonino 2 Dubois, Didier 2 Duval, Dominique 2 Estrada-González, Luis 2 Fontaine, Matthieu 2 Gaĭnă, Daniel 2 Hamelin, Guy 2 Hartonas, Chrysafis 2 Hernández-Tello, Alejandro 2 Katz, Mikhail G. 2 Ketland, Jeffrey 2 Klonowski, Mateusz 2 Kudryk, Taras S. 2 Lemanski, Jens 2 Marcelino, Sérgio 2 Moretti, Alessio 2 Murinová, Petra 2 Pasquali, Fabio 2 Perini-Santos, Ernesto 2 Perkov, Tin 2 Peron, Newton M. 2 Pezlar, Ivo 2 Pietarinen, Ahti-Veikko 2 Pynko, Alexej P. 2 Ramos, Jaime 2 Read, Stephen 2 Robles, Gemma 2 Rodrigues, Odinaldo T. 2 Schumann, Andrew 2 Sernadas, Amilcar C. 2 Silvestre, Ricardo Sousa 2 Skura, Tomasz F. 2 Studer, Thomas 2 Tarlecki, Andrzej 2 Trafford, James 2 Trepczyński, Marcin 2 Varzinczak, Ivan Jóse 2 Viganò, Luca 2 Woleński, Jan 2 Wybraniec-Skardowska, Urszula 2 Yang, Eunsuk 1 Abeles, Francine F. 1 Agudelo-Agudelo, Juan C. 1 Ahsan, Abbas 1 Aiguier, Marc 1 Akrami, Musa 1 Alonso-Stenberg, Kristian 1 Alvarez-Fontecilla, Enrique 1 Angelelli, Ignacio 1 Aranda, Víctor 1 Arndt, Peter F. 1 Arrazola Ramírez, José Ramón Enrique 1 Aucher, Guillaume 1 Azizi-Sultan, Ahmad-Saher 1 Badici, Emil 1 Baltazar, Pedro 1 Barušs, Imants 1 Bashmakov, Stepan Igorevich 1 Batens, Diderik 1 Bazhanov, Valentin A. 1 Beirlaen, Mathieu 1 Belkasmi, Mohammed ...and 226 more Authors
all top 5

Fields

 315 Mathematical logic and foundations (03-XX) 66 History and biography (01-XX) 27 General and overarching topics; collections (00-XX) 24 Computer science (68-XX) 15 Category theory; homological algebra (18-XX) 13 Order, lattices, ordered algebraic structures (06-XX) 5 Game theory, economics, finance, and other social and behavioral sciences (91-XX) 4 Quantum theory (81-XX) 3 Combinatorics (05-XX) 3 General algebraic systems (08-XX) 2 Real functions (26-XX) 2 Geometry (51-XX) 2 General topology (54-XX) 1 Number theory (11-XX) 1 Linear and multilinear algebra; matrix theory (15-XX) 1 Topological groups, Lie groups (22-XX) 1 Operator theory (47-XX) 1 Statistics (62-XX) 1 Mathematics education (97-XX)

Citations contained in zbMATH Open

185 Publications have been cited 715 times in 464 Documents Cited by Year
A universal logic approach to adaptive logics. Zbl 1116.03019
Batens, Diderik
2007
From Blanché’s hexagonal organization of concepts to formal concept analysis and possibility theory. Zbl 1272.03015
2012
The power of the hexagon. Zbl 1272.03008
Béziau, Jean-Yves
2012
Things that are right with the traditional square of opposition. Zbl 1140.03301
Parsons, Terence
2008
“Setting” $$n$$-opposition. Zbl 1156.03021
Pellissier, Régis
2008
Quotient completion for the foundation of constructive mathematics. Zbl 1288.03049
Maietti, Maria Emilia; Rosolini, Giuseppe
2013
On the 3D visualisation of logical relations. Zbl 1255.03032
Smessaert, Hans
2009
Cut-free ordinary sequent calculi for logics having generalized finite-valued semantics. Zbl 1118.03049
Avron, Arnon; Ben-Naim, Jonathan; Konikowska, Beata
2007
From analogical proportion to logical proportions. Zbl 1323.03011
2013
What is a logic translation? Zbl 1255.03023
Mossakowski, Till; Diaconescu, Răzvan; Tarlecki, Andrzej
2009
Quantified multimodal logics in simple type theory. Zbl 1334.03014
Benzmüller, Christoph; Paulson, Lawrence C.
2013
The geometry of standard deontic logic. Zbl 1255.03031
Moretti, Alessio
2009
Logical extensions of Aristotle’s square. Zbl 1138.03314
Luzeaux, Dominique; Sallantin, Jean; Dartnell, Christopher
2008
Proofs and countermodels in non-classical logics. Zbl 1339.03046
Negri, Sara
2014
Generalized definitional reflection and the inversion principle. Zbl 1138.03044
Schroeder-Heister, Peter
2007
Fraïssé’s construction from a topos-theoretic perspective. Zbl 1335.03073
Caramello, Olivia
2014
Logic and colour. Zbl 1272.03029
Jaspers, Dany
2012
New dimensions on translations between logics. Zbl 1255.03029
Carnielli, Walter A.; Coniglio, Marcelo E.; D’Ottaviano, Itala M. L.
2009
The classical Aristotelian hexagon versus the modern duality hexagon. Zbl 1280.03009
Smessaert, Hans
2012
Abelian logic and the logics of pointed lattice-ordered varieties. Zbl 1162.03036
Paoli, Francesco; Spinks, Matthew; Veroff, Robert
2008
There is no paradox of logical validity. Zbl 1330.03030
Cook, Roy T.
2014
Carnap, Goguen, and the hyperontologies: logical pluralism and heterogeneous structuring in ontology design. Zbl 1255.68153
Kutz, Oliver; Mossakowski, Till; Lücke, Dominik
2010
Metalogical decorations of logical diagrams. Zbl 1384.03023
Demey, Lorenz; Smessaert, Hans
2016
A new modal Lindström theorem. Zbl 1118.03012
van Benthem, Johan
2007
Modal multilattice logic. Zbl 1404.03018
Kamide, Norihiro; Shramko, Yaroslav
2017
Natural deduction for Fitting’s four-valued generalizations of Kleene’s logics. Zbl 1385.03032
Petrukhin, Yaroslav I.
2017
Computer-assisted analysis of the Anderson-Hájek ontological controversy. Zbl 1417.03131
Benzmüller, C.; Weber, Leon; Woltzenlogel Paleo, Bruno
2017
Generalized correspondence analysis for three-valued logics. Zbl 1435.03047
Petrukhin, Yaroslav
2018
Positive Jonsson theories. Zbl 1456.03060
Poizat, Bruno; Yeshkeyev, Aibat
2018
Why the logical hexagon? Zbl 1272.03036
Moretti, Alessio
2012
On pairs of dual consequence operations. Zbl 1264.03038
Wybraniec-Skardowska, Urszula; Waldmajer, Jacek
2011
A refutation theory. Zbl 1255.03024
Skura, Tomasz
2009
Syllogisms and 5-square of opposition with intermediate quantifiers in fuzzy natural logic. Zbl 1396.03061
Murinová, Petra; Novák, Vilém
2016
Self-extensional three-valued paraconsistent logics. Zbl 1420.03042
Avron, Arnon
2017
A general Lindström theorem for some normal modal logics. Zbl 1345.03035
Enqvist, Sebastian
2013
Birkhoff completeness in institutions. Zbl 1179.03069
Codescu, Mihai; Găină, Daniel
2008
Liberating paraconsistency from contradiction. Zbl 1373.03039
Becker Arenhart, Jonas R.
2015
On preserving. Zbl 1131.03010
Payette, Gillman; Schotch, Peter K.
2007
The pursuit of an implication for the logics L3A and L3B. Zbl 1420.03043
Hernández-Tello, Alejandro; Arrazola Ramírez, José; Osorio Galindo, Mauricio
2017
Dualities for Płonka sums. Zbl 06992796
Bonzio, Stefano
2018
Structures of opposition and comparisons: Boolean and gradual cases. Zbl 1432.68458
Dubois, Didier; Prade, Henri; Rico, Agnès
2020
A Buchholz rule for modal fixed point logics. Zbl 1278.03044
Jäger, Gerhard; Studer, Thomas
2011
Probabilistic argumentation: an equational approach. Zbl 1337.68241
Gabbay, D. M.; Rodrigues, O.
2015
Equilibrium states in numerical argumentation networks. Zbl 1346.68185
Gabbay, D. M.; Rodrigues, O.
2015
Visualizations of the square of opposition. Zbl 1138.03320
Bernhard, Peter
2008
A non-standard analysis of a cultural icon: the case of Paul Halmos. Zbl 1365.01032
Błaszczyk, Piotr; Borovik, Alexandre; Kanovei, Vladimir; Katz, Mikhail G.; Kudryk, Taras; Kutateladze, Semen S.; Sherry, David
2016
A Routley-Meyer semantics for Gödel 3-valued logic and its paraconsistent counterpart. Zbl 1323.03022
Robles, Gemma
2013
Dagger categories of tame relations. Zbl 1294.68107
Jacobs, Bart
2013
Axiomatization of some basic and modal Boolean connexive logics. Zbl 07462130
Klonowski, Mateusz
2021
Universal logic: evolution of a project. Zbl 1396.03002
Beziau, Jean-Yves
2018
Natural deduction for Post’s logics and their duals. Zbl 1456.03047
Petrukhin, Yaroslav
2018
A hexagonal framework of the field $${\mathbb{F}_4}$$ and the associated Borromean logic. Zbl 1280.03021
Guitart, René
2012
Dung’s argumentation is essentially equivalent to classical propositional logic with the Peirce-Quine dagger. Zbl 1280.03007
Gabbay, Dov M.
2011
In defense of logical universalism: taking issue with Jean van Heijenoort. Zbl 1405.03018
de Rouilhan, Philippe
2012
Omnipresence, multipresence and ubiquity: kinds of generality in and around mathematics and logics. Zbl 1261.00004
Grattan-Guinness, I.
2011
Distributive-lattice semantics of sequent calculi with structural rules. Zbl 1255.03034
Pynko, Alexej P.
2009
Symmetric generalized Galois logics. Zbl 1255.03033
Bimbó, Katalin; Dunn, J. Michael
2009
Minimally generated abstract logics. Zbl 1255.03022
Lewitzka, Steffen; Brunner, Andreas B. M.
2009
The Vatican square. Zbl 1403.00027
Beziau, Jean-Yves; Giovagnoli, Raffaela
2016
Platonic contrariety (enantia): ancestor of the Aristotelian notion of contradiction (antiphasis)? Zbl 1353.01007
Lachance, Geneviève
2016
Leibniz’s logic and the “cube of opposition”. Zbl 1360.03037
Lenzen, Wolfgang
2016
Singular propositions, negation and the square of opposition. Zbl 1403.03052
Choudhury, Lopamudra; Chakraborty, Mihir Kumar
2016
Logical squares for classical logic sentences. Zbl 1396.03007
Wybraniec-Skardowska, Urszula
2016
A strong and rich 4-valued modal logic without Łukasiewicz-type paradoxes. Zbl 1373.03026
Méndez, José M.; Robles, Gemma
2015
Structuralist logic: implications, inferences, and consequences. Zbl 1116.03010
Koslow, Arnold
2007
Abstract logics, logic maps, and logic homomorphisms. Zbl 1131.03006
Lewitzka, Steffen
2007
Functorial duality for ortholattices and De Morgan lattices. Zbl 1132.03034
Bimbó, Katalin
2007
Recovering a logic from its fragments by meta-fibring. Zbl 1131.03005
Coniglio, Marcelo Esteban
2007
Harmony in multiple-conclusion natural-deduction. Zbl 1339.03045
Francez, Nissim
2014
Adolf Lindenbaum: notes on his life, with bibliography and selected references. Zbl 1306.01023
Zygmunt, Jan; Purdy, Robert
2014
Dugundji’s theorem revisited. Zbl 1330.03042
Coniglio, Marcelo E.; Peron, Newton M.
2014
The scope of Gödel’s first incompleteness theorem. Zbl 1339.03004
Buldt, Bernd
2014
Contrary-to-duty reasoning: a categorical approach. Zbl 1357.03056
Peterson, Clayton
2015
2015
Is the principle of contradiction a consequence of $$x^2=x$$? Zbl 1408.03003
Beziau, Jean-Yves
2018
Venn diagram with names of individuals and their absence: a non-classical diagram logic. Zbl 1456.03056
Bhattacharjee, Reetu; Chakraborty, Mihir Kr.; Choudhury, Lopamudra
2018
Gentzen-type sequent calculi for extended Belnap-Dunn logics with classical negation: a general framework. Zbl 07061141
Kamide, Norihiro
2019
N.A. Vasil’ev’s logical ideas and the categorical semantics of many-valued logic. Zbl 1380.03078
Maximov, D. Y.
2016
How to take advantage of the blur between the finite and the infinite. Zbl 1262.00004
Cartier, Pierre
2012
On combined connectives. Zbl 1280.03035
2011
On refutation rules. Zbl 1264.03037
Skura, Tomasz
2011
Jean van Heijenoort and the Gödel editorial project. Zbl 1260.03001
Dawson, John W. jun.
2012
Historical development of modern logic. Zbl 1268.03006
van Heijenoort, Jean
2012
Which mathematical logic is the logic of mathematics? Zbl 1272.03024
Hintikka, Jaakko
2012
Herbrand’s fundamental theorem in the eyes of Jean van Heijenoort. Zbl 1267.03054
Wirth, Claus-Peter
2012
Toward a visual proof system: Lewis Carroll’s method of trees. Zbl 1267.01028
Abeles, Francine F.
2012
Logic as a science and logic as a theory: remarks on Frege, Russell and the logocentric predicament. Zbl 1272.03031
Korhonen, Anssi
2012
Logic of determination of objects (LDO): how to articulate “extension” with “intension” and “objects” with “concepts”. Zbl 1272.03075
Desclés, Jean-Pierre; Pascu, Anca
2011
Negation and paraconsistent logics. Zbl 1272.03117
Dutta, Soma; Chakraborty, Mihir K.
2011
Russell and his sources for non-classical logics. Zbl 1255.03001
Anellis, Irving H.
2009
The place of logic in reasoning. Zbl 1255.03018
Kayser, Daniel
2010
Disentangling contradiction from contrariety via incompatibility. Zbl 1384.03016
Beziau, Jean-Yves
2016
Weakening and extending $$\mathbb{Z}$$. Zbl 1331.03026
Osorio, Mauricio; Carballido, J. L.; Zepeda, C.; Castellanos, J. A.
2015
The universal theory of first order algebras and various reducts. Zbl 1380.03077
Valby, Lawrence
2015
Universal logic and Aristotelian logic: formality and essence of logic. Zbl 1326.01021
Brumberg-Chaumont, Julie
2015
A global glance on categories in logic. Zbl 1119.03071
Arndt, Peter; de Alvarenga Freire, Rodrigo; Luciano, Odilon Otavio; Mariano, Hugo Luiz
2007
From fibring to cryptofibring. A solution to the collapsing problem. Zbl 1116.03009
Caleiro, Carlos; Ramos, Jaime
2007
Non-classical stems from classical: N. A. Vasiliev’s approach to logic and his reassessment of the square of opposition. Zbl 1138.03301
Bazhanov, Valentin A.
2008
Aristotle’s cubes and consequential implication. Zbl 1144.03017
Pizzi, Claudio
2008
Locally tabular $$\neq$$ locally finite. Zbl 1420.03023
Marcelino, Sérgio; Rivieccio, Umberto
2017
Axiomatization of some basic and modal Boolean connexive logics. Zbl 07462130
Klonowski, Mateusz
2021
Quantified temporal alethic boulesic doxastic logic. Zbl 07344022
Rönnedal, Daniel
2021
Bimodal logic with contingency and accident: bisimulation and axiomatizations. Zbl 07380925
Fan, Jie
2021
Structures of opposition and comparisons: Boolean and gradual cases. Zbl 1432.68458
Dubois, Didier; Prade, Henri; Rico, Agnès
2020
Tree-like proof systems for finitely-many valued non-deterministic consequence relations. Zbl 1472.03023
Pawlowski, Pawel
2020
A cube of opposition for predicate logic. Zbl 1443.03005
Nilsson, Jørgen Fischer
2020
Farewell to suppression-freedom. Zbl 1466.03003
Øgaard, Tore Fjetland
2020
Bases for structures and theories. I. Zbl 1485.03080
Ketland, Jeffrey
2020
Gentzen-type sequent calculi for extended Belnap-Dunn logics with classical negation: a general framework. Zbl 07061141
Kamide, Norihiro
2019
A bunch of diagrammatic methods for syllogistic. Zbl 07061140
Sautter, Frank Thomas
2019
Duality results for (co)residuated lattices. Zbl 07061143
Hartonas, Chrysafis
2019
Logical consequence in Avicenna’s theory. Zbl 1412.03005
Chatti, Saloua
2019
Super models. Zbl 1472.03028
Hintikka, Jaakko
2019
Perspectives on the logical study of language. Zbl 1472.03011
Hintikka, Jaakko
2019
On TAE machines and their computational power. Zbl 1434.68174
Syropoulos, Apostolos
2019
Hintikka, free logician. Singular terms in world lines semantics. Zbl 1472.03014
Fontaine, Matthieu
2019
Hintikka and the functions of logic. Zbl 1472.03007
2019
Varieties of rigidity. Zbl 1450.03001
Tanninen, Tuukka
2019
To Peirce Hintikka’s thoughts. Zbl 1472.03010
Pietarinen, Ahti-Veikko
2019
Labelled tableau systems for some subintuitionistic logics. Zbl 1472.03017
Ma, Minghui
2019
Generalized correspondence analysis for three-valued logics. Zbl 1435.03047
Petrukhin, Yaroslav
2018
Positive Jonsson theories. Zbl 1456.03060
Poizat, Bruno; Yeshkeyev, Aibat
2018
Dualities for Płonka sums. Zbl 06992796
Bonzio, Stefano
2018
Universal logic: evolution of a project. Zbl 1396.03002
Beziau, Jean-Yves
2018
Natural deduction for Post’s logics and their duals. Zbl 1456.03047
Petrukhin, Yaroslav
2018
Is the principle of contradiction a consequence of $$x^2=x$$? Zbl 1408.03003
Beziau, Jean-Yves
2018
Venn diagram with names of individuals and their absence: a non-classical diagram logic. Zbl 1456.03056
Bhattacharjee, Reetu; Chakraborty, Mihir Kr.; Choudhury, Lopamudra
2018
A note on a description logic of concept and role typicality for defeasible reasoning over ontologies. Zbl 06992795
Varzinczak, Ivan
2018
On the modal logic of Jeffrey conditionalization. Zbl 1461.03019
Gyenis, Zalán
2018
Pecularities of some three- and four-valued second order logics. Zbl 1405.03060
Hazen, Allen P.; Pelletier, Francis Jeffry
2018
Aristotle’s prototype rule-based underlying logic. Zbl 1397.01005
Corcoran, John
2018
Two early Arabic applications of model-theoretic consequence. Zbl 1395.01011
Hodges, Wilfrid
2018
A characterisation of some $$\mathbf{Z}$$-like logics. Zbl 1456.03051
Mruczek-Nasieniewska, Krystyna; Nasieniewski, Marek
2018
Composition-nominative logics as institutions. Zbl 1456.03054
Chentsov, Alexey; Nikitchenko, Mykola
2018
A molecular logic of chords and their internal harmony. Zbl 1439.03069
Max, Ingolf
2018
Logic prizes et cætera. Zbl 06992794
Beziau, Jean-Yves
2018
Abstract logical constants. Zbl 06992797
Perkov, Tin
2018
Canonical extensions and Kripke-Galois semantics for non-distributive logics. Zbl 06992800
Hartonas, Chrysafis
2018
Modal multilattice logic. Zbl 1404.03018
Kamide, Norihiro; Shramko, Yaroslav
2017
Natural deduction for Fitting’s four-valued generalizations of Kleene’s logics. Zbl 1385.03032
Petrukhin, Yaroslav I.
2017
Computer-assisted analysis of the Anderson-Hájek ontological controversy. Zbl 1417.03131
Benzmüller, C.; Weber, Leon; Woltzenlogel Paleo, Bruno
2017
Self-extensional three-valued paraconsistent logics. Zbl 1420.03042
Avron, Arnon
2017
The pursuit of an implication for the logics L3A and L3B. Zbl 1420.03043
Hernández-Tello, Alejandro; Arrazola Ramírez, José; Osorio Galindo, Mauricio
2017
Locally tabular $$\neq$$ locally finite. Zbl 1420.03023
Marcelino, Sérgio; Rivieccio, Umberto
2017
Logic and religion. Zbl 1364.03007
Beziau, Jean-Yves; Silvestre, Ricardo
2017
Monotonic and non-monotonic embeddings of Anselm’s proof. Zbl 1365.01005
Archambault, Jacob
2017
Sequent systems for negative modalities. Zbl 1420.03044
Lahav, Ori; Marcos, João; Zohar, Yoni
2017
A note on two’s company: “The humbug of many logical values”. Zbl 1386.03023
Skurt, Daniel
2017
An alternative definition of quantifiers on four-valued Łukasiewicz algebras. Zbl 1414.03014
González, Luciano J.; Lattanzi, M. B.; Petrovich, A. G.
2017
The semiotics of spider diagrams. Zbl 1417.03048
Burton, Jim; Howse, John
2017
Translating non-classical logics into classical logic by using hidden variables. Zbl 1420.03020
Agudelo-Agudelo, Juan C.
2017
Thinking negation in early Hinduism and classical Indian philosophy. Zbl 1417.03045
Bilimoria, Purushottama
2017
From logic in Islam to Islamic logic. Zbl 1378.01003
Akrami, Musa
2017
Leibniz’s ontological proof of the existence of God and the problem of “impossible objects“. Zbl 1375.01014
Lenzen, Wolfgang
2017
A logical analysis of the Anselm’s Unum argumentum (from Proslogion). Zbl 1420.03051
Desclés, Jean-Pierre
2017
Metalogical decorations of logical diagrams. Zbl 1384.03023
Demey, Lorenz; Smessaert, Hans
2016
Syllogisms and 5-square of opposition with intermediate quantifiers in fuzzy natural logic. Zbl 1396.03061
Murinová, Petra; Novák, Vilém
2016
A non-standard analysis of a cultural icon: the case of Paul Halmos. Zbl 1365.01032
Błaszczyk, Piotr; Borovik, Alexandre; Kanovei, Vladimir; Katz, Mikhail G.; Kudryk, Taras; Kutateladze, Semen S.; Sherry, David
2016
The Vatican square. Zbl 1403.00027
Beziau, Jean-Yves; Giovagnoli, Raffaela
2016
Platonic contrariety (enantia): ancestor of the Aristotelian notion of contradiction (antiphasis)? Zbl 1353.01007
Lachance, Geneviève
2016
Leibniz’s logic and the “cube of opposition”. Zbl 1360.03037
Lenzen, Wolfgang
2016
Singular propositions, negation and the square of opposition. Zbl 1403.03052
Choudhury, Lopamudra; Chakraborty, Mihir Kumar
2016
Logical squares for classical logic sentences. Zbl 1396.03007
Wybraniec-Skardowska, Urszula
2016
N.A. Vasil’ev’s logical ideas and the categorical semantics of many-valued logic. Zbl 1380.03078
Maximov, D. Y.
2016
Disentangling contradiction from contrariety via incompatibility. Zbl 1384.03016
Beziau, Jean-Yves
2016
A categorical interpretation of the intuitionistic, typed, first order logic with Hilbert’s $$\varepsilon$$-terms. Zbl 1436.03093
Pasquali, Fabio
2016
Widersinn in Husserl’s pure logic. Zbl 1361.03007
Isaac, Manuel Gustavo
2016
The future of logic: foundation-independence. Zbl 1436.03179
Rabe, Florian
2016
Structuring co-constructive logic for proofs and refutations. Zbl 1394.03071
Trafford, James
2016
Subalternation and existence presuppositions in an unconventionally formalized canonical square of opposition. Zbl 1384.03041
Jacquette, Dale
2016
Generalization and composition of modal squares of oppositions. Zbl 1370.03026
Pizzi, Claudio
2016
A square of oppositions in intuitionistic logic with strong negation. Zbl 1403.03014
Lepage, François
2016
Cubes and hypercubes of opposition, with ethical ruminations on inviolability. Zbl 1350.03017
Bjørdal, Frode
2016
The Klein group, squares of opposition and the explanation of fallacies in reasoning. Zbl 1403.03012
Robert, Serge; Brisson, Janie
2016
Canonical syllogistic moods in traditional Aristotelian logic. Zbl 1361.03032
Alvarez-Fontecilla, Enrique
2016
Liberating paraconsistency from contradiction. Zbl 1373.03039
Becker Arenhart, Jonas R.
2015
Probabilistic argumentation: an equational approach. Zbl 1337.68241
Gabbay, D. M.; Rodrigues, O.
2015
Equilibrium states in numerical argumentation networks. Zbl 1346.68185
Gabbay, D. M.; Rodrigues, O.
2015
A strong and rich 4-valued modal logic without Łukasiewicz-type paradoxes. Zbl 1373.03026
Méndez, José M.; Robles, Gemma
2015
Contrary-to-duty reasoning: a categorical approach. Zbl 1357.03056
Peterson, Clayton
2015
2015
Weakening and extending $$\mathbb{Z}$$. Zbl 1331.03026
Osorio, Mauricio; Carballido, J. L.; Zepeda, C.; Castellanos, J. A.
2015
The universal theory of first order algebras and various reducts. Zbl 1380.03077
Valby, Lawrence
2015
Universal logic and Aristotelian logic: formality and essence of logic. Zbl 1326.01021
Brumberg-Chaumont, Julie
2015
First-order logic and first-order functions. Zbl 1373.03010
Freire, Rodrigo A.
2015
Paradox, closure and indirect speech reports. Zbl 1318.03017
2015
Characteristic inference rules. Zbl 1377.03053
Citkin, Alex
2015
Proofs and countermodels in non-classical logics. Zbl 1339.03046
Negri, Sara
2014
Fraïssé’s construction from a topos-theoretic perspective. Zbl 1335.03073
Caramello, Olivia
2014
There is no paradox of logical validity. Zbl 1330.03030
Cook, Roy T.
2014
Harmony in multiple-conclusion natural-deduction. Zbl 1339.03045
Francez, Nissim
2014
Adolf Lindenbaum: notes on his life, with bibliography and selected references. Zbl 1306.01023
Zygmunt, Jan; Purdy, Robert
2014
Dugundji’s theorem revisited. Zbl 1330.03042
Coniglio, Marcelo E.; Peron, Newton M.
2014
The scope of Gödel’s first incompleteness theorem. Zbl 1339.03004
Buldt, Bernd
2014
The classical constraint on relevance. Zbl 1344.03027
Avron, Arnon
2014
Towards a more general concept of inference. Zbl 1339.03047
Pezlar, Ivo
2014
Extracting $$\mathsf{BB'IW}$$ inhabitants of simple types from proofs in the sequent calculus $$LT_\to^t$$ for implicational ticket entailment. Zbl 1344.03028
Bimbó, Katalin; Dunn, J. Michael
2014
Toward a clarity of the extreme value theorem. Zbl 1466.26022
Katz, Karin U.; Katz, Mikhail G.; Kudryk, Taras
2014
Universal properties of Łukasiewicz consequence. Zbl 1344.03029
Mundici, Daniele
2014
Beyond Rasiowan systems: unital deductive systems. Zbl 1345.03018
Muravitsky, Alexei Y.
2014
...and 85 more Documents
all top 5

Cited by 488 Authors

 395 Mathematical logic and foundations (03-XX) 108 Computer science (68-XX) 35 History and biography (01-XX) 33 Category theory; homological algebra (18-XX) 20 General and overarching topics; collections (00-XX) 19 Order, lattices, ordered algebraic structures (06-XX) 9 Game theory, economics, finance, and other social and behavioral sciences (91-XX) 5 Real functions (26-XX) 5 Statistics (62-XX) 5 Quantum theory (81-XX) 4 Group theory and generalizations (20-XX) 4 Convex and discrete geometry (52-XX) 3 General algebraic systems (08-XX) 3 Commutative algebra (13-XX) 2 Combinatorics (05-XX) 2 Number theory (11-XX) 2 Algebraic geometry (14-XX) 2 Topological groups, Lie groups (22-XX) 2 Geometry (51-XX) 2 General topology (54-XX) 2 Algebraic topology (55-XX) 1 Linear and multilinear algebra; matrix theory (15-XX) 1 $$K$$-theory (19-XX) 1 Functional analysis (46-XX) 1 Probability theory and stochastic processes (60-XX) 1 Numerical analysis (65-XX) 1 Statistical mechanics, structure of matter (82-XX) 1 Operations research, mathematical programming (90-XX) 1 Mathematics education (97-XX)