Results 1 to 10 of about 65,097 (137)
IMPLICITINĖ PREDIKATO KVANTIFIKACIJA IR PORT ROYALIO LOGIKA
Problemos, 2004 Straipsnyje analizuojama logikos istorikų Jill Vance Buroker, Sylvaino Auroux ir Jeano-Claude’o Pariente’o pozicija, kad tradicinės logikos pradininkų – Antoine’o Arnauld ir Pierre’o Nicole’io – pažiūrose į kategorinio sakinio semantiką galima įžvelgti ...
Laisvūnas Šopauskas
doaj +24 more sources
KATEGORINIŲ SAKINIŲ SEMANTIKA PORT ROYALIO LOGIKOJE
Problemos, 2004 Straipsnyje analizuojamos tradicinės logikos pradininkų – Antoine’o Arnauld ir Pierre’o Nicole’io – pažiūros į kategorinio sakinio semantiką trimis aspektais: kaip jie suprato sintaksę, elementariųjų dalių prasmes ir sakinio prasmės priklausomybę nuo ...
Laisvūnas Šopauskas
doaj +24 more sources
Neutrosophic Modal Logic [PDF]
Neutrosophic Sets and Systems, 2017 We introduce now for the first time the neutrosophic modal logic. The Neutrosophic Modal Logic includes the neutrosophic operators that express the modalities. It is an extension of neutrosophic predicate logic and of neutrosophic propositional logic.
Florentin Smarandache
doaj +1 more source
Predicate Abstraction via Symbolic Decision Procedures [PDF]
Logical Methods in Computer Science, 2007 We present a new approach for performing predicate abstraction based on symbolic decision procedures. Intuitively, a symbolic decision procedure for a theory takes a set of predicates in the theory and symbolically executes a decision procedure on all ...
Shuvendu K. Lahiri +2 more
doaj +1 more source
A Graph Calculus for Predicate Logic [PDF]
Electronic Proceedings in Theoretical Computer Science, 2013 We introduce a refutation graph calculus for classical first-order predicate logic, which is an extension of previous ones for binary relations. One reduces logical consequence to establishing that a constructed graph has empty extension, i. e.
Paulo A. S. Veloso, Sheila R. M. Veloso
doaj +1 more source
Intuitionistic Layered Graph Logic: Semantics and Proof Theory [PDF]
Logical Methods in Computer Science, 2018 Models of complex systems are widely used in the physical and social sciences, and the concept of layering, typically building upon graph-theoretic structure, is a common feature.
Simon Docherty, David Pym
doaj +1 more source
On Elementary Extensions in Fuzzy Predicate Logics [PDF]
, 2010 10 páginas.-- Comunicación presentada a la International Conference on Information Processing and Management of Uncertainty in Knowledge-Based Systems (IPMU) celebrada en Dortmund (Alemania) del 28 de Junio al 2 de Julio de 2010. Our work is a contribution to the model-theoretic study of equality-free fuzzy predicate logics.
Dellunde, Pilar, Esteva, Francesc
openaire +2 more sources
An extension of Jónsson‐Tarski representation and model existence in predicate non‐normal modal logics [PDF]
Mathematical Logic Quarterly, 2022 AbstractWe give an extension of the Jónsson‐Tarski representation theorem for both normal and non‐normal modal algebras so that it preserves countably many infinite meets and joins. In order to extend the Jónsson‐Tarski representation to non‐normal modal algebras we consider neighborhood frames instead of Kripke frames just as Došen's duality theorem ...
openaire +3 more sources
An Inference System of an Extension of Floyd-Hoare Logic for Partial Predicates [PDF]
Formalized Mathematics, 2018 Summary In the paper we give a formalization in the Mizar system [2, 1] of the rules of an inference system for an extended Floyd-Hoare logic with partial pre- and post-conditions which was proposed in [7, 9]. The rules are formalized on the semantic level. The details of the approach used to implement this formalization are described
Ivanov, Ievgen +2 more
openaire +2 more sources
Meinong and Husserl on Existence. Two Solutions of the Paradox of Non-Existence
Philosophia Scientiæ, 2014 This paper analyzes and compares the attempts at solving the paradox of non-existence put forward by Alexius Meinong and Edmund Husserl. It will be argued that Meinong's solution is not convincing since he retreats from the field of predicate logic, in ...
Giuliano Bacigalupo
doaj +1 more source