Minimizing disjunctive normal forms of pure first-order logic

Logic Journal of the IGPL 25 (3):325-347 (2017)
  Copy   BIBTEX

Abstract

In contrast to Hintikka’s enormously complex distributive normal forms of first- order logic, this paper shows how to generate minimized disjunctive normal forms of first-order logic. An effective algorithm for this purpose is outlined, and the benefits of using minimized disjunctive normal forms to explain the truth conditions of propo- sitions expressible within pure first-order logic are presented.

Categories

Keywords

Reprint years

DOI

10.1093/jigpal/jzx003

Links

PhilArchive



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

External links

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

Through your library

My notes

Similar books and articles

Pure Second-Order Logic with Second-Order Identity.Alexander Paseau - 2010 - Notre Dame Journal of Formal Logic 51 (3):351-360.
Herbrand E a silogística ampliada.Frank Thomas Sautter - 2015 - Philósophos - Revista de Filosofia 20 (1):125-144.
On Simplification Algorithms for Disjunctive Normal Forms.E. Mendelson - 1966 - Journal of Symbolic Logic 31 (1):141-141.
Review: U. I. Zuravlev, On Constructing Minimal Disjunctive normal Forms for Functions of the Algebra of Logic. [REVIEW]Andrzej Rowicki - 1966 - Journal of Symbolic Logic 31 (1):140-141.
Normal Forms in Combinatory Logic.Patricia Johann - 1994 - Notre Dame Journal of Formal Logic 35 (4):573-594.
Review: U. I. Zuravlev, On Various Concepts, of Minimality for Disjunctive Normal Forms. [REVIEW]Andrzej Rowicki - 1968 - Journal of Symbolic Logic 33 (4):630-630.
Review: U. I. Zuravlev, Algorithms with Finite Memory on Disjunctive Normal Forms. [REVIEW]Andrzej Rowicki - 1968 - Journal of Symbolic Logic 33 (4):630-630.
Review: Yu. I. Zuravlev, E. Mendelson, On Simplification Algorithms for Disjunctive Normal Forms. [REVIEW]Andrzej Rowicki - 1966 - Journal of Symbolic Logic 31 (1):141-141.
Normal forms for connectedness in categories.Claudio Gutiérrez - 2001 - Annals of Pure and Applied Logic 108 (1-3):237-247.
I. Žuravlév Ú.. O névozmožnosti postroéniá minimal'nyh dizúnktivnyh normal'nyh form funkcij algébry logiki v odnom kassé algoritmov. Doklady Akadémii Nauk SSSR, vol. 132 , pp. 504–506.Žuravlev Yu. I.. On the impossibility of constructing minimal disjunctive normal forms for functions of the algebra of logic in a single class of algorithms. English translation of the preceding by Elliott Mendelson. Soviet mathematics, vol. 1 no. 3 , pp. 581–583. [REVIEW]Andrzej Rowicki - 1965 - Journal of Symbolic Logic 30 (3):379-379.
Normal forms for elementary patterns.Timothy J. Carlson & Gunnar Wilken - 2012 - Journal of Symbolic Logic 77 (1):174-194.
Normal forms for second-order logic over finite structures, and classification of NP optimization problems.Thomas Eiter, Georg Gottlob & Yuri Gurevich - 1996 - Annals of Pure and Applied Logic 78 (1-3):111-125.
An algebraic theory of normal forms.Silvio Ghilardi - 1995 - Annals of Pure and Applied Logic 71 (3):189-245.
Review: Jaakko Hintikka, J. N. Crossley, M. A. E. Dummett, Distributive Normal Forms in First-Order Logic; Jaakko Hintikka, Distributive Normal Forms and Deductive Interpolation. [REVIEW]F. C. Oglesby - 1966 - Journal of Symbolic Logic 31 (2):267-268.
Normal forms for fuzzy logics: a proof-theoretic approach. [REVIEW]Petr Cintula & George Metcalfe - 2007 - Archive for Mathematical Logic 46 (5-6):347-363.

Analytics

Added to PP
2017-04-07

Downloads
31 (#506,316)

6 months
6 (#510,232)

Historical graph of downloads
How can I increase my downloads?

Author's Profile

Timm Lampert
Humboldt-University, Berlin

Citations of this work

Wittgenstein's ab-Notation: An Iconic Proof Procedure.Timm Lampert - 2017 - History and Philosophy of Logic 38 (3):239-262.

Add more citations

References found in this work

The iconic logic of Peirce's graphs.Sun-Joo Shin - 2002 - Cambridge, Mass.: MIT Press.
Causes and events: Mackie on causation.Jaegwon Kim - 1971 - Journal of Philosophy 68 (14):426-441.
The Iconic Logic of Peirce's Graphs.Sun-joo Shin - 2003 - Transactions of the Charles S. Peirce Society 39 (1):127-133.
Distributive Normal Forms in the Calculus of Predicates.Jaakko Hintikka - 1953 - [Edidit Societas Philosophica;,] [Distribuit Akatesminen Kirjakauppa,].
On the logic of quantification.W. V. Quine - 1945 - Journal of Symbolic Logic 10 (1):1-12.

View all 7 references / Add more references