Propositional Logic
56 Followers
Recent papers in Propositional Logic
Bu çalışmada, önermeler mantığı dizgeleri ile bu dizgelerin anlambilimsel (semantik) yorumlamalarında eksiksizlik teoremlerive bu teoremlerin meta-mantıksal yorumlamaları incelenecektir.İlk bölümde, önermeler mantığı dizgesini oluşturan... more
What would happen if we tried to read the thinking and some writings of Machiavelli using the propositional logic? This short paper moves from this aim: clarify the arguments of the Florentine thinker, making explicit the inferences just... more
An introduction to the formal approach that underlies university mathematics. Topics covered are: Sets and Logic, Relations and Functions, Number Systems, Infinity. The book has arisen out of a first year course taught to Mathematics... more
Equilibrium logic, introduced in [20], is a conservative extension of answer set semantics for logic programs to the full language of propositional logic. In this paper we initiate the study of first-order variants of equilibrium logic.... more
Resumen: MARLO'S LOGICAL DIAGRAMS FOR VISUAL AND HETEROGENEOUS REASONING: VALID IN MATHEMATICAL AND ARISTOTHELIC LOGIC.
From a logical point of view, Stone duality for Boolean algebras relates theories in classical propositional logic and their collections of models. The theories can be seen as presentations of Boolean algebras, and the collections of... more
Modern categorical logic as well as the Kripke and topological models of intuitionistic logic suggest that the interpretation of ordinary “propositional” logic should in general be the logic of subsets of a given universe set. Partitions... more
In Data Mining, to discover closed item’s relation among the items, association rule can be used. I propose a method to find closed and dependent items using propositional logic property Biimplication. Generating association rules,... more
Lindenbaum method is named after the Polish logician Adolf Lindenbaum who prematurely and without a clear trace disappeared in the turmoil of the Second World War at the age of about 37. The method is based on the symbolic nature of... more
Effectively Propositional Logic (EPR), also known as the Bernays-Schoenfinkel class, allows encoding problems that are propositional in nature, but EPR encodings can be exponentially more succinct than purely propositional logic... more
Propositional bounded model checking has been applied successfully to verify embedded software but is limited by the increasing propositional formula size and the loss of structure during the translation. These limitations can be reduced... more
Intended to progressively teach logic with the construction of a formal language and development of core ideas for proof.
We give a logical analysis of quantum measurements as forms of information update. We enumerate some of the “lessons” that Logic can learn from Quantum Mechanics: (1) the importance of logical dynamics; (2) the fact that quantum physics... more
In 1933 Godel introduced a calculus of provability (also known as modal logic S4) and left open the question of its exact intended semantics. In this paper we give a solution to this problem. We find the logic LP of propositions and... more
In this paper, we study the verification of dense time properties by discrete time analysis. Interval Duration Logic, (IDL), is a highly expressive dense time logic for specifying properties of real-time systems. Validity checking of IDL... more
We describe a formal specification and verification in PVS for the general theory of SRT division, and for the hardware design of a specific implementation. The specification demonstrates how attributes of the PVS language (in particular,... more
The Marlo diagram can represent and solve, at least in theory, logic problems with an unlimited number of terms. In López Aznar (2014), (2018b), it was confirmed that the diagram far exceeded the requirements which, according to Moktefi &... more
This paper is about sentences of form "To be human is to be an animal", "To live is to fight", etc. I call them 'infinitive sentences'. I define an augmented propositional language able to express them and give a matrix-based semantics... more
The purpose of this master thesis is to investigate the basic concepts of propositional logic for knowledge representation and formalization of reasoning in Artificial Intelligence. The different properties of logical propositions are... more