Natural deduction and arbitrary objects

DOI10.1007/BF00542649zbMath0571.03004OpenAlexW2040930864MaRDI QIDQ1061731

Kit Fine

Publication date: 1985

Published in: Journal of Philosophical Logic (Search for Journal in Brave)

Full work available at URL: https://doi.org/10.1007/bf00542649

Mathematics Subject Classification ID

Philosophical and critical aspects of logic and foundations (03A05) Classical first-order logic (03B10)

Related Items (17)

Angellic content ⋮ Merging without mystery or: Variables in dynamics semantics ⋮ The epsilon-reconstruction of theories and scientific structuralism ⋮ On a decidable generalized quantifier logic corresponding to a decidable fragment of first-order logic ⋮ Defining answer classes using resolution refutation ⋮ DISTANCES BETWEEN FORMAL THEORIES ⋮ Generalized quantification as substructural logic ⋮ a-Logic With Arrows ⋮ Interpolation for a sequent calculus of generalized quantifiers ⋮ Are logical languages compositional? ⋮ Representation and duality of the untyped \(\lambda\)-calculus in nominal lattice and topological semantics, with a proof of topological completeness ⋮ A study of substitution, using nominal techniques and Fraenkel-Mostowksi sets ⋮ Constructive Versus Ontological Construals of Cantorian Ordinals ⋮ Modal languages and bounded fragments of predicate logic ⋮ Identity in Mares-Goldblatt models for quantified relevant logic ⋮ Grounding, quantifiers, and paradoxes ⋮ Reasoning about arbitrary natural numbers from a Carnapian perspective

Cites Work

• A logical system based on rules and its application in teaching mathematical logic
• Sur la structuration du tableau des connectifs interpropositionnels binaires
• On Tarski's formalization of predicate logic with identity
• On natural deduction
• Unnamed Item
• Unnamed Item

This page was built for publication: Natural deduction and arbitrary objects