Next Article in Journal
Generalized Briot-Bouquet Differential Equation Based on New Differential Operator with Complex Connections
Next Article in Special Issue
Aristotle’s Syllogistic as a Deductive System
Previous Article in Journal
Non-Associative Structures and Other Related Structures
Previous Article in Special Issue
A Note on Fernández–Coniglio’s Hierarchy of Paraconsistent Systems

Distribution Tableaux, Distribution Models

Faculty of Philosophy, UPAEP University, Puebla 72410, Mexico
Axioms 2020, 9(2), 41;
Received: 3 December 2019 / Revised: 24 March 2020 / Accepted: 26 March 2020 / Published: 17 April 2020
(This article belongs to the Special Issue Deductive Systems in Traditional and Modern Logic)
The concept of distribution is a concept within traditional logic that has been fundamental for the syntactic development of Sommers and Englebretsen’s term functor logic, a logic that recovers the term syntax of traditional logic. The issue here, however, is that the semantic counterpart of distribution for this logic is still in the making. Consequently, given this disparity between syntax and semantics, in this contribution we adapt some ideas of term functor logic tableaux to develop models of distribution, thus providing some alternative formal semantics to help close this breach. View Full-Text
Keywords: semantic tree; term logic; distribution semantic tree; term logic; distribution
Show Figures

Scheme 1

MDPI and ACS Style

Castro-Manzano, J.-M. Distribution Tableaux, Distribution Models. Axioms 2020, 9, 41.

AMA Style

Castro-Manzano J-M. Distribution Tableaux, Distribution Models. Axioms. 2020; 9(2):41.

Chicago/Turabian Style

Castro-Manzano, J.-Martín. 2020. "Distribution Tableaux, Distribution Models" Axioms 9, no. 2: 41.

Find Other Styles
Note that from the first issue of 2016, MDPI journals use article numbers instead of page numbers. See further details here.

Article Access Map by Country/Region

Back to TopTop