Logica Universalis: Towards a General Theory of Logic

(ed.)
Boston: Birkhäuser Verlog (2005)
  Copy   BIBTEX

Abstract

Universal Logic is not a new logic, but a general theory of logics, considered as mathematical structures. The name was introduced about ten years ago, but the subject is as old as the beginning of modern logic: Alfred Tarski and other Polish logicians such as Adolf Lindenbaum developed a general theory of logics at the end of the 1920s based on consequence operations and logical matrices. The subject was revived after the flowering of thousands of new logics during the last thirty years: there was a need for a systematic theory of logics to put some order in this chaotic multiplicity. This book contains recent works on universal logic by first-class researchers from all around the world. The book is full of new and challenging ideas that will guide the future of this exciting subject. It will be of interest for people who want to better understand what logic is. Tools and concepts are provided here for those who want to study classes of already existing logics or want to design and build new ones

Categories

Keywords

Reprint years

Call number

QA9.2.L64 2005

ISBN(s)

0817672591   9780817672591   3764383534   9783764383534
View all bargains

Buy this book

Links

PhilArchive



    Upload a copy of this work     Papers currently archived: 91,219

External links

Setup an account with your affiliations in order to access resources via your University's proxy server

Through your library

My notes

Chapters

Toward A Visual Proof System: Lewis Carroll’s Method of Trees.Francine F. Abeles
Encoding Complete Metric Structures by Classical Structures.Nathanael Leedom Ackerman
On Transferring Model Theoretic Theorems of $${\mathcal{L}_{{\infty},\omega}}$$ L ∞, ω in the Category of Sets to a Fixed Grothendieck Topos.Nathanael Leedom Ackerman
Logics in Fungal Mycelium Networks.Andrew Adamatzky, Phil Ayres, Alexander E. Beasley, Nic Roberts & Han A. B. Wösten
A Modern Rigorous Approach to Stratification in NF/NFU.Tin Adlešić & Vedran Čačić
Translating Non-classical Logics into Classical Logic by Using Hidden Variables.Juan C. Agudelo-Agudelo
Islamic Contradictory Theology . . . Is there any such Thing?Abbas Ahsan
Abstract Categorical Logic.Marc Aiguier & Isabelle Bloch
Some general results about proof normalization.Marc Aiguier & Delphine Longuet
From Logic in Islam to Islamic Logic.Musa Akrami
Canonical Syllogistic Moods in Traditional Aristotelian Logic.Enrique Alvarez-Fontecilla
Editor’s Introduction to Jean van Heijenoort, Historical Development of Modern Logic.Irving H. Anellis
Guest Editor’s Introduction: JvH100. [REVIEW]Irving H. Anellis
Jean van Heijenoort’s Contributions to Proof Theory and Its History.Irving H. Anellis
Jean van Heijenoort’s Conception of Modern Logic, in Historical Perspective.Irving H. Anellis
Russell and his sources for non-classical logics.Irving H. Anellis
Frege’s Ancestral and Its Circularities.Ignacio Angelelli
Beyond Logical Pluralism and Logical Monism.Pavel Arazim
Completeness: From Husserl to Carnap.Víctor Aranda
Expressivist Perspective on Logicality.Pavel Arazim
Counterpossibles and Normal Defaults in the Filioque Controversy.Jacob Archambault
Monotonic and Non-monotonic Embeddings of Anselm’s Proof.Jacob Archambault
Classical Negation Strikes Back: Why Priest’s Attack on Classical Negation Can’t Succeed.Jonas R. Becker Arenhart & Ederson Safra Melo
Liberating Paraconsistency from Contradiction.Jonas R. Becker Arenhart
New Logics for Quantum Non-individuals?Jonas R. Becker Arenhart
A global glance on categories in logic.Peter Arndt, Rodrigo Alvarenga Freirdee, Odilon Otavio Luciano & Hugo Luiz Mariano
A global glance on categories in logic.Peter Arndt, Rodrigo de Alvarenga Freire, Odilon Otavio Luciano & Hugo Luiz Mariano
On the Universality of Atomic and Molecular Logics via Protologics.Guillaume Aucher
Cut-free ordinary sequent calculi for logics having generalized finite-valued semantics.Arnon Avron, Jonathan Ben-Naim & Beata Konikowska
Self-Extensional Three-Valued Paraconsistent Logics.Arnon Avron
The Classical Constraint on Relevance.Arnon Avron
The Normal and Self-extensional Extension of Dunn–Belnap Logic.Arnon Avron
Constrained Pseudo-Propositional Logic.Ahmad-Saher Azizi-Sultan
Iterated Mixed Strategies and Pascal’s Wager.Emil Badici
Probabilization of Logics: Completeness and Decidability. [REVIEW]Pedro Baltazar
A Reduction Theorem for the Kripke–Joyal Semantics: Forcing Over an Arbitrary Category can Always be Replaced by Forcing Over a Complete Heyting Algebra. [REVIEW]Imants Barušs & Robert Woodrow
A Non-Standard Analysis of a Cultural Icon: The Case of Paul Halmos.Piotr Błaszczyk, Alexandre Borovik, Vladimir Kanovei, Mikhail G. Katz, Taras Kudryk, Semen S. Kutateladze & David Sherry
Unification in Pretabular Extensions of S4.Stepan I. Bashmakov
A universal logic approach to adaptive logics.Diderik Batens
Non-Classical Stems from Classical: N. A. Vasiliev’s Approach to Logic and his Reassessment of the Square of Opposition. [REVIEW]Valentin A. Bazhanov
Inconsistency-Adaptive Dialogical Logic.Mathieu Beirlaen & Matthieu Fontaine
Positive Amalgamation.Mohammed Belkasmi
Computer-Assisted Analysis of the Anderson–Hájek Ontological Controversy.C. Benzmüller, L. Weber & B. Woltzenlogel Paleo
Computer-Assisted Analysis of the Anderson-Hájek Controversy.Benzmüller Christoph, Weber Leon & Woltzenlogel Paleo Bruno
Quantified Multimodal Logics in Simple Type Theory.Christoph Benzmüller & Lawrence C. Paulson
An Intensional Formalization of Generic Statements.Hugolin Bergier
Visualizations of the square of opposition.Peter Bernhard
Logica Universalis: Towards a General Theory of Logic.Jean-Yves Béziau (ed.)
Disentangling Contradiction from Contrariety via Incompatibility.Jean-Yves Beziau
Friendliness and sympathy in logic.Jean-Yves Beziau
From consequence operator to universal logic: a survey of general abstract logic.Jean-Yves Beziau
Is the Principle of Contradiction a Consequence of $$x^{2}=x$$ x 2 = x?Jean-Yves Beziau
Logic and Religion.Jean-Yves Beziau & Ricardo Silvestre
Logic Prizes et Cætera.Jean-Yves Beziau
Preface.Jean-Yves Beziau & Gillman Payette
Preface: Is logic universal? [REVIEW]Jean-Yves Beziau
Preface: Scope of Logic Theorems In Memoriam Adolf Lindenbaum.Jean-Yves Beziau
1st World Logic Day: 14 January 2019.Jean-Yves Beziau
The Cretan Square.Jean-Yves Beziau & Jens Lemanski
The Vatican Square.Jean-Yves Beziau & Raffaela Giovagnoli
Universal Logic: Evolution of a Project.Jean-Yves Beziau
$$hbox {Venn}{i{o1}}$$ Venn i o 1 : A Diagram System for Universe Without Boundary.Reetu Bhattacharjee, Mihir Kr Chakraborty & Lopamudra Choudhury
Venn Diagram with Names of Individuals and Their Absence: A Non-classical Diagram Logic.Reetu Bhattacharjee, Mihir Kr Chakraborty & Lopamudra Choudhury
Thinking Negation in Early Hinduism and Classical Indian Philosophy.Purushottama Bilimoria
Extracting BB′IW Inhabitants of Simple Types From Proofs in the Sequent Calculus $${LT_\to^{t}}$$ L T → t for Implicational Ticket Entailment.Katalin Bimbó & J. Michael Dunn
Functorial duality for ortholattices and de Morgan lattices.Katalin Bimbó
Symmetric generalized galois logics.Katalin Bimbó & J. Michael Dunn
Cubes and Hypercubes of Opposition, with Ethical Ruminations on Inviolability.Frode Bjørdal
Aristotle’s Non-Logical Works and the Square of Oppositions in Semiotics.Stefania Bonfiglioli
Dualities for Płonka Sums.Stefano Bonzio
Hypothetical Logic of Proofs.Eduardo Bonelli & Gabriela Steren
Maximum Segments as Natural Deduction Images of Some Cuts.Mirjana Borisavljević
Constrained Consequence.Katarina Britz, Johannes Heidema & Ivan Varzinczak
Beppo Levi’s Analysis of the Paradoxes.Riccardo Bruni
Erratum to: Universal Logic and Aristotelian Logic: Formality and Essence of Logic.Julie Brumberg-Chaumont
Topological Representation of Intuitionistic and Distributive Abstract Logics.Andreas Bernhard Michael Brunner & Steffen Lewitzka
Universal Logic and Aristotelian Logic: Formality and Essence of Logic.Julie Brumberg-Chaumont
Multimodal Incompleteness Under Weak Negations.Juliana Bueno-Soler
Two semantical approaches to paraconsistent modalities.Juliana Bueno-Soler
The Scope of Gödel’s First Incompleteness Theorem.Bernd Buldt
The Semiotics of Spider Diagrams.James Burton & John Howse
Gödel’s Second Theorem and the Provability of God’s Existence.Meir Buzaglo
Preface.Jean-Yves Béziau
The power of the hexagon.Jean-Yves Béziau
Compositional Meaning in Logic.Carlos Caleiro & Luca Viganò
From fibring to cryptofibring. A solution to the collapsing problem.Carlos Caleiro & Jaime Ramos
On the Mosaic Method for Many-Dimensional Modal Logics: A Case Study Combining Tense and Modal Operators. [REVIEW]Carlos Caleiro, Luca Viganò & Marco Volpe
Two's Company: The humbug of many logical values.Carlos Caleiro, Walter Carnielli, Marcelo Coniglio & João Marcos
Fraïssé’s Construction from a Topos-Theoretic Perspective.Olivia Caramello
How to take advantage of the blur between the finite and the infinite.Pierre Cartier
New dimensions on translations between logics.Walter A. Carnielli, Marcelo E. Coniglio & Itala M. L. D’Ottaviano
Special Issue on Multimodal Logics: A Preface. [REVIEW]Walter Carnielli & Claudio Pizzi
Logical Consequence in Avicenna’s Theory.Saloua Chatti
Referential Opacity and Epistemic Logic.Saloua Chatti
Sound Reasoning : Prospects and Challenges of Current Acoustic Logics.Marc Champagne
Two Squares of Opposition in Two Arabic Treatises: al-Suhrawardī and al-Sanūsī.Saloua Chatti
Composition-Nominative Logics as Institutions.Alexey Chentsov & Mykola Nikitchenko
Modelling inference in argumentation through labelled deduction: Formalization and logical properties. [REVIEW]Carlos Iván Chesñevar & Guillermo Ricardo Simari
Singular Propositions, Negation and the Square of Opposition.Lopamudra Choudhury & Mihir Kumar Chakraborty
Admissibility in Positive Logics.Alex Citkin
Characteristic Formulas of Partial Heyting Algebras.Alex Citkin
Characteristic Inference Rules.Alex Citkin
Birkhoff Completeness in Institutions.Mihai Codescu & Daniel Găină
Dugundji’s Theorem Revisited.Marcelo E. Coniglio & Newton M. Peron
Modal Extensions of Sub-classical Logics for Recovering Classical Logic.Marcelo E. Coniglio & Newton M. Peron
Recovering a logic from its fragments by meta-fibring.Marcelo Esteban Coniglio
There is No Paradox of Logical Validity.Roy T. Cook
Aristotle’s Prototype Rule-Based Underlying Logic.John Corcoran
Axiomatising the Prior Future in Predicate Logic.Max Cresswell
Knowability and Other Onto-theological Paradoxes.Franca D’Agostini
A Probabilistic Logic Between $$LPP1$$ L P P 1 and $$LPP2$$ L P P 2.Šejla Dautović
A Probabilistic Logic Between $$LPP1$$ L P P 1 and $$LPP2$$ L P P 2.Šejla Dautović
Jean van Heijenoort and the Gödel Editorial Project.John W. Dawson
The concept of relevance and the logic diagram tradition.Jan Dejnožka
Metalogical Decorations of Logical Diagrams.Lorenz Demey & Hans Smessaert
Elements of Categorical Logic: Fifty Years Later. [REVIEW]Valeria de Paiva & Andrei Rodin
In Defense of Logical Universalism: Taking Issue with Jean van Heijenoort. [REVIEW]Philippe de Rouilhan
A Logical Analysis of the Anselm’s Unum Argumentum.Jean-Pierre Desclés
Logic of Determination of Objects (LDO): How to Articulate “Extension” with “Intension” and “Objects” with “Concepts”. [REVIEW]Jean-Pierre Desclés & Anca Pascu
Paraconsistent Orbits of Logics.Edelcio G. de Souza, Alexandre Costa-Leite & Diogo H. B. Dias
Introducing H, an Institution-Based Formal Specification and Verification Language.Răzvan Diaconescu
The Institution-Theoretic Scope of Logic Theorems.Răzvan Diaconescu, Till Mossakowski & Andrzej Tarlecki
Analytics vs. Elements.Costas Dimitracopoulos
An Intuitionist Reasoning Upon Formal Intuitionist Logic: Logical Analysis of Kolmogorov’s 1932 Paper.Antonino Drago
The square of opposition and the four fundamental choices.Antonino Drago
A Universal Algebraic Set Theory Built on Mereology with Applications.Ioachim Drugus
From Blanché’s Hexagonal Organization of Concepts to Formal Concept Analysis and Possibility Theory.Didier Dubois & Henri Prade
Structures of Opposition and Comparisons: Boolean and Gradual Cases.Didier Dubois, Henri Prade & Agnès Rico
From the Logical Square to Blanché’s Hexagon: Formalization, Applicability and the Idea of the Normative Structure of Thought. [REVIEW]Aimable-André Dufatanye
Negation and Paraconsistent Logics.Soma Dutta & Mihir K. Chakraborty
Deduction as Reduction, from a Categorical Point of View.Dominique Duval
Logical Rules as Fractions and Logics as Sketches.Dominique Duval
A General Lindström Theorem for Some Normal Modal Logics.Sebastian Enqvist
On the Meaning of Connectives (Apropos of a Non-Necessitarianist Challenge).Luis Estrada-González
Weakened semantics and the traditional square of opposition.Luis Estrada-González
Bimodal Logic with Contingency and Accident: Bisimulation and Axiomatizations.Jie Fan
Jean van Heijenoort: Kaleidoscope. [REVIEW]Anita Burdman Feferman
On Rereading van Heijenoort’s Selected Essays.Solomon Feferman
From Truth Degree Comparison Games to Sequents-of-Relations Calculi for Gödel Logic.Christian Fermüller, Timo Lang & Alexandra Pavlova
On Non-Deterministic Quantification.Thomas Macaulay Ferguson
Hintikka, Free Logician.Matthieu Fontaine
A Dialectic Contra-Classical Logic.Nissim Francez
A Proof-Theoretic Semantics for Exclusion.Nissim Francez & Michael Kaminski
Harmony in Multiple-Conclusion Natural-Deduction.Nissim Francez
On a Distinction of Two Facets of Meaning and its Role in Proof-theoretic Semantics.Nissim Francez
Structural Rules for Multi-valued Logics.Nissim Francez & Michael Kaminski
First-Order Logic and First-Order Functions.Rodrigo A. Freire
Farewell to Suppression-Freedom.Tore Fjetland Øgaard
Dung’s Argumentation is Essentially Equivalent to Classical Propositional Logic with the Peirce–Quine Dagger.Dov M. Gabbay
Equilibrium States in Numerical Argumentation Networks.D. M. Gabbay & O. Rodrigues
Probabilistic Argumentation: An Equational Approach.D. M. Gabbay & O. Rodrigues
Theory of Semi-Instantiation in Abstract Argumentation.D. M. Gabbay
The Talmudic Logic Project, Ongoing Since 2008.Dov M. Gabbay, Uri Schild & Esther David
Human Rationality Challenges Universal Logic.Brian R. Gaines
Direct Proofs of Lindenbaum Conditionals.René Gazzari
Forcing, Downward Löwenheim-Skolem and Omitting Types Theorems, Institutionally.Daniel Găină
Theory of completeness for logical spaces.Kensaku Gomi
An Alternative Definition of Quantifiers on Four-Valued Łukasiewicz Algebras.L. J. González, M. B. Lattanzi & A. G. Petrovich
When the World is Not Enough: Medieval Ways to Deal with the Lack of Referents.Frédéric Goubier & Ernesto Perini-Santos
Measuring Inconsistency in Generalized Propositional Logic.John Grant
Measuring Inconsistency in Generalized Propositional Logic Extended with Nonunary Operators.John Grant
Omnipresence, Multipresence and Ubiquity: Kinds of Generality in and Around Mathematics and Logics. [REVIEW]I. Grattan-Guinness
Preface: Medieval Logic.Rodrigo Guerizoli & Guy Hamelin
A Hexagonal Framework of the Field $${\mathbb{F}_4}$$ and the Associated Borromean Logic.René Guitart
On the Modal Logic of Jeffrey Conditionalization.Zalán Gyenis
Nominalism and Semantics in Abelard and Ockham.Guy Hamelin & Danilo Luiz Silva Maia
Canonical Extensions and Kripke–Galois Semantics for Non-distributive Logics.Chrysafis Hartonas
Duality Results for (Co)Residuated Lattices.Chrysafis Hartonas
Pecularities of Some Three- and Four-Valued Second Order Logics.Allen P. Hazen & Francis Jeffry Pelletier
Philosophical Significance of Universal Logic---On Second Revolution of Mathematical Logic.H. C. He, Zhitao He, Yingcang Ma & Lirong Ai
Axiomatisations of the Genuine Three-Valued Paraconsistent Logics $$mathbf {L3AG}$$ L 3 A G and $$mathbf {L3BG}$$ L 3 B G.Alejandro Hernández-Tello, Miguel Pérez-Gaspar & Verónica Borja Macías
General logic-systems and finite consequence operators.Robert A. Herrmann
The Pursuit of an Implication for the Logics L3A and L3B.Alejandro Hernández-Tello, José Arrazola Ramírez & Mauricio Osorio Galindo
Perspectives on the Logical Study of Language.Jaakko Hintikka
Super Models.Jaakko Hintikka
Which Mathematical Logic is the Logic of Mathematics?Jaakko Hintikka
Two Early Arabic Applications of Model-Theoretic Consequence.Wilfrid Hodges
Kneale’s Natural Deductions as a Notational Variant of Beth’s Tableaus.Zvonimir Šikić
Probability Logics for Reasoning About Quantum Observations.Angelina Ilić Stepić, Zoran Ognjanović & Aleksandar Perović
Widersinn in Husserl’s Pure Logic.Manuel Gustavo Isaac
On Induction Principles for Partial Orders.Ievgen Ivanov
Dagger Categories of Tame Relations.Bart Jacobs
Subalternation and existence presuppositions in an unconventionally formalized canonical square of opposition.Dale Jacquette
Tableaux for Logics of Content Relationship and Set-Assignment Semantics.Tomasz Jarmużek & Mateusz Klonowski
Logic and colour.Dany Jaspers
On a New Idiom in the Study of Entailment.R. E. Jennings, Y. Chen & J. Sahasrabudhe
A Buchholz Rule for Modal Fixed Point Logics.Gerhard Jäger & Thomas Studer
Deontological Square, Hexagon, and Decagon: A Deontic Framework for Supererogation.Jan C. Joerden
What do Freyd’s Toposes Classify?Peter Johnstone
An Extended Paradefinite Logic Combining Conflation, Paraconsistent Negation, Classical Negation, and Classical Implication: How to Construct Nice Gentzen-type Sequent Calculi.Norihiro Kamide
Calculi for Many-Valued Logics.Michael Kaminski & Nissim Francez
Gentzen-Type Sequent Calculi for Extended Belnap–Dunn Logics with Classical Negation: A General Framework.Norihiro Kamide
Modal Multilattice Logic.Norihiro Kamide & Yaroslav Shramko
Toward a Clarity of the Extreme Value Theorem.Karin U. Katz, Mikhail G. Katz & Taras Kudryk
The Place of Logic in Reasoning.Daniel Kayser
Bases for Structures and Theories I.Jeffrey Ketland
Bases for Structures and Theories II.Jeffrey Ketland
Axiomatization of Some Basic and Modal Boolean Connexive Logics.Mateusz Klonowski
Information algebras and consequence operators.Jürg Kohlas & Robert F. Stärk
Logic as a Science and Logic as a Theory: Remarks on Frege, Russell and the Logocentric Predicament.Anssi Korhonen
Structuralist logic: Implications, inferences, and consequences. [REVIEW]Arnold Koslow
Theological Discourse and Logic.Stanisław Krajewski & Marcin Trepczyński
Ultravaluations and their Applications in $$\textsf{CPL}$$.Krzysztof A. Krawczyk & Bożena Piȩta
Brain and Its Universal Logical Model of Multi-Agent Biological Systems.Jerzy Król, Andrew Schumann & Krzysztof Bielas
Revising the Elenchus via Belief Revision.Ekaterina Kubyshkina & Mattia Petrolo
Platonic Contrariety : Ancestor of the Aristotelian Notion of Contradiction ?Geneviève Lachance
Correction to: Sequent Systems for Negative Modalities.Ori Lahav, João Marcos & Yoni Zohar
Sequent Systems for Negative Modalities.Ori Lahav, João Marcos & Yoni Zohar
Carnap, Goguen, and the hyperontologies: Logical pluralism and heterogeneous structuring in ontology design. [REVIEW]Dominik Lücke
Logic Diagrams, Sacred Geometry and Neural Networks.Jens Lemanski
Leibniz’s Logic and the “Cube of Opposition”.Wolfgang Lenzen
Leibniz’s Ontological Proof of the Existence of God and the Problem of »Impossible Objects«.Wolfgang Lenzen
Ockham’s Calculus of Strict Implication.Wolfgang Lenzen
Ploucquet’s “Refutation” of the Traditional Square of Opposition.Wolfgang Lenzen
A Square of Oppositions in Intuitionistic Logic with Strong Negation.François Lepage
Abstract logics, logic maps, and logic homomorphisms.Steffen Lewitzka
Minimally generated abstract logics.Steffen Lewitzka & Andreas B. M. Brunner
Games and Lindström Theorems.Cheng Liao
Hintikka and the Functions of Logic.Montgomery Link
Logical Extensions of Aristotle’s Square.Dominique Luzeaux, Jean Sallantin & Christopher Dartnell
Violence Hexagon.Lorenzo Magnani
Quotient Completion for the Foundation of Constructive Mathematics.Maria Emilia Maietti & Giuseppe Rosolini
Existence of Finite Total Equivalence Systems for Certain Closed Classes of 3-Valued Logic Functions.Ilya Makarov
Friendliness and sympathy in logic.David C. Makinson
Frege’s Ontological Diagram Completed.David Makinson
Logical Friendliness and Sympathy in Logic.David C. Makinson
Labelled Tableau Systems for Some Subintuitionistic Logics.Minghui Ma
Perfect IFG-Formulas.Allen L. Mann
A Methodological Shift in Favor of (Some) Paraconsistency in the Sciences.María del Rosario Martínez-Ordaz
An Unexpected Boolean Connective.Sérgio Marcelino
Locally Tabular $$ne $$ Locally Finite.Sérgio Marcelino & Umberto Rivieccio
The square of opposition and the paradoxes.Teresa Marques
Numerical Existence Property and Categories with an Internal Copy.Samuele Maschio
A Molecular Logic of Chords and Their Internal Harmony.Ingolf Max
N.A. Vasil’ev’s Logical Ideas and the Categorical Semantics of Many-Valued Logic.D. Y. Maximov
Is Logic Necessary?Gregory McColm
Some multi-conclusion modal paralogics.Casey McGinnis
Kant’s Antinomies of Pure Reason and the ‘Hexagon of Predicate Negation’.Peter McLaughlin & Oliver Schlaudt
Correction to: Some Restricted Lindenbaum Theorems Equivalent to the Axiom of Choice.David W. Miller
Some restricted lindenbaum theorems equivalent to the axiom of choice.David W. Miller
Hintikka on the “Kant–Frege View”: A Critical Assessment.Giovanni Mion
A Strong and Rich 4-Valued Modal Logic Without Łukasiewicz-Type Paradoxes.José M. Méndez & Gemma Robles
Rooted Hypersequent Calculus for Modal Logic S5.Hamzeh Mohammadi & Mojtaba Aghaei
Why Make Things Simple When You Can Make Them Complicated? An Appreciation of Lewis Carroll’s Symbolic Logic.Amirouche Moktefi
A Short Note on Essentially Σ1 Sentences.Franco Montagna & Duccio Pianigiani
A Pragmatic Dissolution of Curry’s Paradox.Rafael Félix Mora Ramirez
Boethius of Dacia and Radulphus Brito on the Universal Sign ‘Every’.Ana María Mora-Márquez
The geometry of standard deontic logic.Alessio Moretti
Why the Logical Hexagon?Alessio Moretti
What is a logic translation?Till Mossakowski, Răzvan Diaconescu & Andrzej Tarlecki
Strong Normalizability of Typed Lambda-Calculi for Substructural Logics.Motohiko Mouri & Norihiro Kamide
A Characterisation of Some $$\mathbf {Z}$$ Z -Like Logics.Krystyna Mruczek-Nasieniewska & Marek Nasieniewski
Universal Properties of Łukasiewicz Consequence.Daniele Mundici
Beyond Rasiowan Systems: Unital Deductive Systems.Alexei Y. Muravitsky
Graded Structures of Opposition in Fuzzy Natural Logic.Petra Murinová
Mathematics and Theology in the Thought of Nicholas of Cusa.Roman Murawski
On Consequence and Rejection as Operators.Alexei Muravitsky
On Nonmonotonic Consequence Relations.Alexei Muravitsky
Rejection: A Historico-Epistemological View.Alexei Muravitsky
Syllogisms and 5-Square of Opposition with Intermediate Quantifiers in Fuzzy Natural Logic.Petra Murinová & Vilém Novák
Proofs and Countermodels in Non-Classical Logics.Sara Negri
A Cube of Opposition for Predicate Logic.Jørgen Fischer Nilsson
Internal Diagrams and Archetypal Reasoning in Category Theory.Eduardo Ochs
Inference Rules in Nelson’s Logics, Admissibility and Weak Admissibility.Sergei Odintsov & Vladimir Rybakov
Weakening and Extending {mathbb{Z}}.Mauricio Osorio, J. L. Carballido, C. Zepeda & J. A. Castellanos
Abelian Logic and the Logics of Pointed Lattice-Ordered Varieties.Francesco Paoli, Matthew Spinks & Robert Veroff
The Sphere Model of Consciousness: From Geometrical to Neuro-Psycho-Educational Perspectives.P. Paoletti & T. Dotan Ben Soussan
The Sphere Model of Consciousness: From Geometrical to Neuro-Psycho-Educational Perspectives.P. Paoletti & T. Dotan Ben Soussan
Things that are right with the traditional square of opposition.Terence Parsons
A Categorical Interpretation of the Intuitionistic, Typed, First Order Logic with Hilbert’s $${\varepsilon}$$ ε -Terms.Fabio Pasquali
A Unified Semantics for a Family of Modal Logics with Propositional Constants.Matteo Pascucci
On a Generalization of Equilogical Spaces.Fabio Pasquali
The Logic with Truth and Falsehood Operators from a Point of View of Universal Logic.Sergey Pavlov
Tree-Like Proof Systems for Finitely-Many Valued Non-deterministic Consequence Relations.Pawel Pawlowski
On preserving.Gillman Payette & Peter K. Schotch
“Setting” n-Opposition.Régis Pellissier
Abstract Logical Constants.Tin Perkov
A Note on Logicality of Generalized Quantifiers.Tin Perkov
John Buridan on the bearer of logical relations.Ernesto Perini-Santos
Logic and Natural Selection.Jaroslav Peregrin
Correspondence Analysis for Some Fragments of Classical Propositional Logic.Yaroslav Petrukhin & Vasilyi Shangin
Contrary-to-Duty Reasoning: A Categorical Approach.Clayton Peterson
Generalized Correspondence Analysis for Three-Valued Logics.Yaroslav Petrukhin
Natural Deduction for Fitting’s Four-Valued Generalizations of Kleene’s Logics.Yaroslav I. Petrukhin
Natural Deduction for Post’s Logics and their Duals.Yaroslav Petrukhin
Composition of Deductions within the Propositions-As-Types Paradigm.Ivo Pezlar
Towards a More General Concept of Inference.Ivo Pezlar
Hintikka Memorial Issue: Introduction and Remarks on Jaakko Hintikka’s Logical Philosophy.Ahti-Veikko Pietarinen
To Peirce Hintikka’s Thoughts.Ahti-Veikko Pietarinen
To Peirce Hintikka’s Thoughts.Ahti-Veikko Pietarinen
Aristotle’s Cubes and Consequential Implication.Claudio Pizzi
Generalization and Composition of Modal Squares of Oppositions.Claudio Pizzi
Relative Contingency and Bimodality.Claudio Pizzi
From Single Agent to Multi-Agent via Hypersequents.Francesca Poggiolesi
Positive Jonsson Theories.Bruno Poizat & Aibat Yeshkeyev
From Analogical Proportion to Logical Proportions.Henri Prade & Gilles Richard
Complementary Proof Nets for Classical Logic.Gabriele Pulcini & Achille C. Varzi
Distributive-lattice semantics of sequent calculi with structural rules.Alexej P. Pynko
Many-place sequent calculi for finitely-valued logics.Alexej P. Pynko
The Future of Logic: Foundation-Independence.Florian Rabe
Essential Structure of Proofs as a Measure of Complexity.Jaime Ramos, João Rasga & Cristina Sernadas
Craig Interpolation in the Presence of Unreliable Connectives.João Rasga, Cristina Sernadas & Amlcar Sernadas
Paradox, Closure and Indirect Speech Reports.Stephen Read
Swyneshed, Aristotle and the Rule of Contradictory Pairs.Stephen Read
Quantified Temporal Alethic Boulesic Doxastic Logic.Daniel Rönnedal
A Routley–Meyer Semantics for Gödel 3-Valued Logic and Its Paraconsistent Counterpart.Gemma Robles
The Klein Group, Squares of Opposition and the Explanation of Fallacies in Reasoning.Serge Robert & Janie Brisson
A Study of the Metatheory of Assertoric Syllogistic.Maristela Rocha
First-order Logics of Evidence and Truth with Constant and Variable Domains.Abilio Rodrigues & Henrique Antunes
The Method of Scientific Discovery in Peirce’s Philosophy: Deduction, Induction, and Abduction. [REVIEW]Cassiano Terra Rodrigues
Pavel Florensky’s Theory of Religious Antinomies.Paweł Rojek
In Defense of Logical Universalism: Taking Issue with Jean van Heijenoort.Philippe Rouilhan
Lindenbaum-Type Logical Structures.Sayantan Roy, Sankha S. Basu & Mihir K. Chakraborty
Modal Definability: Two Commuting Equivalence Relations.Yana Rumenova & Tinko Tinchev
Coproduct and Amalgamation of Deductive Systems by Means of Ordered Algebras.Ciro Russo
The Decision Problem for Effective Procedures.Nathan Salmón
k-Provability in $$\hbox {PA}$$ PA.Paulo Guilherme Santos & Reinhard Kahle
A Bunch of Diagrammatic Methods for Syllogistic.Frank Thomas Sautter
Generalized definitional reflection and the inversion principle.Peter Schroeder-Heister
Is ‘No’ a Force-Indicator? Yes, Sooner or Later!Fabien Schang & James Trafford
Logic, Spatial Algorithms and Visual Reasoning.Andrew Schumann & Jens Lemanski
On the Origin of Indian Logic from the Viewpoint of the Pāli Canon.Andrew Schumann
On the Origin of Logical Determinism in Babylonia.Andrew Schumann
Things May Not Be Simple: On Wittgenstein’s Internal Relations.Fabien Schang
Curry’s Formalism as Structuralism.Jonathan P. Seldin
On Combined Connectives.A. Sernadas, C. Sernadas & J. Rasga
Observation of Autonomous Behavioral Selection in Physarum Plasmodium.Tomohiro Shirakawa, Hiroshi Sato & Kazuki Ishimaru
Epistemic Logics with Quantification Over Epistemic Operators: Decidability and Expressiveness.Gennady Shtakser
Karma Theory, Determinism, Fatalism and Freedom of Will.Ricardo Sousa Silvestre
Approaching the alethic modal hexagon of opposition.Peter Simons
A Note on Two’s Company: “The Humbug of Many Logical Values”.Daniel Skurt
A refutation theory.Tomasz Skura
Finite Tree-Countermodels via Refutation Systems in Extensions of Positive Logic with Strong Negation.Tomasz Skura
On Refutation Rules.Tomasz Skura
The Grammar of Platonism.Hartley Slater
On the 3d visualisation of logical relations.Hans Smessaert
On the Logical Geometry of Geometric Angles.Hans Smessaert & Lorenz Demey
The Classical Aristotelian Hexagon Versus the Modern Duality Hexagon.Hans Smessaert
A Formalism to Specify Unambiguous Instructions Inspired by Mīmāṁsā in Computational Settings.Bama Srinivasan & Ranjani Parthasarathi
Non-traditional squares of predication and quantification.Mireille Staschok
The Meanings of ‘Logic’ in the Thirteenth Century.Alfredo Storck
Existential Import, Aristotelian Logic, and its Generalizations.Corina Strößner
A Universal Approach to Guarantee Data Privacy.Thomas Studer
A galois connection.Stan J. Surma
On TAE Machines and Their Computational Power.Apostolos Syropoulos
On TAE Machines and Their Computational Power.Apostolos Syropoulos
Varieties of Rigidity.Tuukka Tanninen
Varieties of Rigidity.Tuukka Tanninen
Developing Metalogic to Formalize Ontological Disputes of the Systems in Metaphysics by Introducing the Notion of Functionally Isomorphic Quantifiers.Jolly Thomas
Eigenlogic in the Spirit of George Boole.Zeno Toffano
Natural Deduction for Quantum Logic.K. Tokuo
Structuring Co-constructive Logic for Proofs and Refutations.James Trafford
Non-monotonic Logic and the Compatibility of Science and Religion.Marcin Trepczyński
Three-Dimensional Affine Spatial Logics.Adam Trybus
Mathematical Perspectives on Liar Paradoxes.José-Luis Usó-Doménech, Josué-Antonio Nescolarde-Selva, Lorena Segura-Abad, Kristian Alonso-Stenberg & Hugh Gash
The Universal Theory of First Order Algebras and Various Reducts.Lawrence Valby
A new modal lindström theorem.Johan van Benthem
Historical Development of Modern Logic.Jean van Heijenoort
On the Historical Transformations of the Square of Opposition as Semiotic Object.Ioannis M. Vandoulakis & Tatiana Yu Denisova
Thomas Manlevelt: God in Logic.Alfred van der Helm
A Note on a Description Logic of Concept and Role Typicality for Defeasible Reasoning Over Ontologies.Ivan Varzinczak
Structuring the universe of universal logic.Vladimir L. Vasyukov
Metalanguage and Revelation: Rethinking Theology’s Language and Relevance.Andrea Vestrucci
What is Identical?Marta Vlasáková
A Shared Framework for Consequence Operations and Abstract Model Theory.Christian Wallmann
Innovation and Application of Logic: An Interview with Jaakko Hintikka.Lu Wang
Innovation and Application of Logic: An Interview with Jaakko Hintikka.Lu Wang
A Reinterpretation of the Semilattice Semantics with Applications.Yale Weiss
Negative Predication and Distinctness.Bartosz Więckowski
Diagonalization in double frames.Andrzej Wiśniewski & Jerzy Pogonowski
Herbrand’s fundamental theorem in the eyes of Jean Van heijenoort.Claus-Peter Wirth
Applications of squares of oppositions and their generalizations in philosophical analysis.Jan Woleński
Logic as Calculus Versus Logic as Language, Language as Calculus Versus Language as Universal Medium, and Syntax Versus Semantics.Jan Woleński
The Role of the Common in Cognitive Prosperity: Our Command of the Unspeakable and Unwriteable.John Woods
On Rearrangement Inequalities for Triangular Norms and Co-norms in Multi-valued Logic.Chai Wah Wu
Logical Squares for Classical Logic Sentences.Urszula Wybraniec-Skardowska
On Pairs of Dual Consequence Operations.Urszula Wybraniec-Skardowska & Jacek Waldmajer
Implicational Partial Galois Logics: Relational Semantics.Eunsuk Yang & J. Michael Dunn
Implicational Tonoid Logics: Algebraic and Relational Semantics.Eunsuk Yang & J. Michael Dunn
Interconnection of the Lattices of Extensions of Four Logics.Alexei Y. Muravitsky
Adolf Lindenbaum: Notes on his Life, with Bibliography and Selected References.Jan Zygmunt & Robert Purdy

Similar books and articles

A study of logics.John P. Cleave - 1991 - New York: Oxford University Press.
A universal logic approach to adaptive logics.Diderik Batens - 2007 - Logica Universalis 1 (1):221-242.
Abstract logics, logic maps, and logic homomorphisms.Steffen Lewitzka - 2007 - Logica Universalis 1 (2):243-276.
Structuring the universe of universal logic.Vladimir L. Vasyukov - 2007 - Logica Universalis 1 (2):277-294.
Logic: from foundation to applications: European logic colloquium.Wilfrid Hodges (ed.) - 1996 - New York: Oxford University Press.
The method of hypersequents in the proof theory of propositional non-classical logics.Arnon Avron - 1996 - In Wilfrid Hodges (ed.), Logic: Foundations to Applications. Oxford: pp. 1-32.
Toward model-theoretic modal logics.Minghui Ma - 2010 - Frontiers of Philosophy in China 5 (2):294-311.
Popular lectures on mathematical logic.Hao Wang - 1981 - New York: Dover Publications.
Two semantical approaches to paraconsistent modalities.Juliana Bueno-Soler - 2010 - Logica Universalis 4 (1):137-160.
Elements of Finite Model Theory.Leonid Libkin - 2004 - Springer.
Mathematical fuzzy logics.Siegfried Gottwald - 2008 - Bulletin of Symbolic Logic 14 (2):210-239.
Fixed point logics.Anuj Dawar & Yuri Gurevich - 2002 - Bulletin of Symbolic Logic 8 (1):65-88.
Mathematical logic and model theory: a brief introduction.A. Prestel - 2011 - New York: Springer. Edited by Charles N. Delzell.
Almost everywhere equivalence of logics in finite model theory.Lauri Hella, Phokion G. Kolaitis & Kerkko Luosto - 1996 - Bulletin of Symbolic Logic 2 (4):422-443.

Analytics

Added to PP
2011-07-21

Downloads
5 (#1,469,565)

6 months
2 (#1,157,335)

Historical graph of downloads
How can I increase my downloads?

Author's Profile

Jean-Yves Beziau
Federal University of Rio de Janeiro

Citations of this work

Taking Degrees of Truth Seriously.Josep Maria Font - 2009 - Studia Logica 91 (3):383-406.
Human Rationality Challenges Universal Logic.Brian R. Gaines - 2010 - Logica Universalis 4 (2):163-205.

Add more citations

References found in this work

No references found.

Add more references