Results 11 to 20 of about 1,151,417 (307)
Modal meet-implication logic [PDF]
Logical Methods in Computer Science, 2022 We extend the meet-implication fragment of propositional intuitionistic logic with a meet-preserving modality. We give semantics based on semilattices and a duality result with a suitable notion of descriptive frame.
Jim de Groot, Dirk Pattinson
doaj +1 more source
On density of truth of the intuitionistic logic in one variable [PDF]
Discrete Mathematics & Theoretical Computer Science, 2008 In this paper we focus on the intuitionistic propositional logic with one propositional variable. More precisely we consider the standard fragment $\{ \to ,\vee ,\bot \}$ of this logic and compute the proportion of tautologies among all formulas.
Zofia Kostrzycka
doaj +1 more source
Interpolation Property on Visser's Formal Propositional Logic
Bulletin of the Section of Logic, 2022 In this paper by using a model-theoretic approach, we prove Craig interpolation property for Formal Propositional Logic, FPL, Basic propositional logic, BPL and the uniform left-interpolation property for FPL.
Majid Alizadeh, Masoud Memarzadeh
doaj +1 more source
On Rational Entailment for Propositional Typicality Logic [PDF]
Artificial Intelligence, 2018 Propositional Typicality Logic (PTL) is a recently proposed logic, obtained by enriching classical propositional logic with a typicality operator capturing the most typical (alias normal or conventional) situations in which a given sentence holds.
Richard Booth +3 more
semanticscholar +1 more source
Mathematics, 2023 The increasing significance of theorem proving-based formalization in mathematics and computer science highlights the necessity for formalizing foundational mathematical theories. In this work, we employ the Coq interactive theorem prover to methodically
Dakai Guo, Wensheng Yu
doaj +1 more source
Semantics of Propositional Fuzzy Modal Logic with Evaluated Syntax and its Application to Fuzzy Decision Implications [PDF]
International Journal of Computational Intelligence Systems, 2015 This paper deals with propositional fuzzy modal logic with evaluated syntax based on MV-algebras. We focus on its semantical theory from the viewpoint of Pavelka's graded semantics of propositional fuzzy logic, investigate the L-tautologies based on ...
Xiaodong Pan, Yang Xu
doaj +1 more source
Proof-search of propositional intuitionistic logic sequents by means of classical logic calculus
Lietuvos Matematikos Rinkinys, 2008 In the paper, we define some classes of sequents of the propositional intuitionistic logic. These are classes of primarily and α-primarily reducible sequents. Then we show how derivability of these sequents in a propositional intuitionistic logic sequent
Romas Alonderis
doaj +1 more source
Jaccard Distance of Logical Formulas and Its Application
Jisuanji kexue yu tansuo, 2020 Quantifying the related concepts of propositional logic is a new method of propositional logic research. It is differe.nt from the syntax and semantics method and is a powerful tool for studying the structure of propositional sets.
YU Peng
doaj +1 more source
Information and Computation, 1997 The authors investigate the use of a special intuitionistic modal logic with several applications to the performance evaluation of computer hardware. The logic contains a single modal operator enjoying aspects of ``possibility'' and ``necessity''. Several formal properties of the logic are well developed.
Fairtlough, Matt, Mendler, Michael
openaire +2 more sources
Multi-type display calculus for propositional dynamic logic [PDF]
Journal of Logic and Computation, 2016 We introduce a multi-type display calculus for Propositional Dynamic Logic (PDL). This calculus is complete w.r.t. PDL, and enjoys Belnap-style cut-elimination and subformula property.
S. Frittella +3 more
semanticscholar +1 more source