Switch to: Citations

References in:

Minimizing disjunctive normal forms of pure first-order logic

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

Add references

You must login to add references.

Distributive Normal Forms in the Calculus of Predicates.Jaakko Hintikka - 1953 - [Edidit Societas Philosophica;,] [Distribuit Akatesminen Kirjakauppa,].details Download Export citation Bookmark 13 citations
The iconic logic of Peirce's graphs.Sun-Joo Shin - 2002 - Cambridge, Mass.: MIT Press.details A case study of multimodal systems and a new interpretation of Charles S. Peirce's theory of reasoning and signs based on an analysis of his system of ... Download Export citation Bookmark 32 citations
The Iconic Logic of Peirce's Graphs.Sun-joo Shin - 2003 - Transactions of the Charles S. Peirce Society 39 (1):127-133.details Download Export citation Bookmark 32 citations
On the logic of quantification.W. V. Quine - 1945 - Journal of Symbolic Logic 10 (1):1-12.details Download Export citation Bookmark 9 citations
Causes and events: Mackie on causation.Jaegwon Kim - 1971 - Journal of Philosophy 68 (14):426-441.details Download Export citation Bookmark 32 citations
An Examination of a Decision Procedure.Francis C. Oglesby - 1962 - American Mathematical Soc..details Download Export citation Bookmark 1 citation
Are logical truths analytic?Jaakko Hintikka - 1965 - Philosophical Review 74 (2):178-203.details Download Export citation Bookmark 7 citations

1