Free Term Logic Tableaux

DOI: https://doi.org/10.31644/mfarchere_v.7;n.20/24-A04
Keywords: Term logic, free logic, semantic tableaux

Abstract

Assuming that Term Functor Logic behaves as a free logic, in this contribution we modify its tableaux proof method in order to accommodate typical (in)valid inferences of free logic.

Published
2023-12-29
How to Cite
Castro-Manzano, J. M. (2023). Free Term Logic Tableaux. Philosophical Miscellany αρχή Electronic Magazine, 7(20), 72-88. https://doi.org/10.31644/mfarchere_v.7;n.20/24-A04
Issue
Vol 7 No 20 (2024): Miscelánea filosófica Número 20
Section
Articles