Results 71 to 80 of about 74,540 (198)
Syntax of first-order lattice valued logic system FM
Chinese Science Bulletin, 1997 PAVELKA in ref. [1] established a propositional logic system whose truth values domain is an enriched residuated lattice and obtained some beautiful results. In order to study more general lattice valued logic systems, we proposed the concept of lattice implication algebra, discussed the corresponding lattice valued propositional logic system, and ...
Keyun Qin, Yang Xu, Zhenming Song
openaire +2 more sources
Judgment aggregation in non-classical logics [PDF]
arXiv, 2017 This work contributes to the theory of judgment aggregation by discussing a number of significant non-classical logics. After adapting the standard framework of judgment aggregation to cope with non-classical logics, we discuss in particular results for the case of Intuitionistic Logic, the Lambek calculus, Linear Logic and Relevant Logics.
arxiv
Ultimate approximations in nonmonotonic knowledge representation systems [PDF]
, 2002 We study fixpoints of operators on lattices. To this end we introduce the notion of an approximation of an operator. We order approximations by means of a precision ordering.
Denecker, Marc +2 more
core +2 more sources
Action Logic is Undecidable [PDF]
arXiv, 2019 Action logic is the algebraic logic (inequational theory) of residuated Kleene lattices. This logic involves Kleene star, axiomatized by an induction scheme. For a stronger system which uses an $\omega$-rule instead (infinitary action logic) Buszkowski and Palka (2007) have proved $\Pi_1^0$-completeness (thus, undecidability).
arxiv
Linguistic Truth-Valued Concept Lattice Based on Lattice-Valued Logic [PDF]
, 2007 Yang Li, Yang Xu
openalex +1 more source
A Galois connection between classical and intuitionistic logics. II: Semantics
, 2018 Three classes of models of QHC, the joint logic of problems and propositions, are constructed, including a class of subset/sheaf-valued models that is related to solutions of some actual problems (such as solutions of algebraic equations) and combines ...
Melikhov, Sergey A.
core
Logic Column 19: Symbolic Model Checking for Temporal-Epistemic Logics [PDF]
arXiv, 2007 This article surveys some of the recent work in verification of temporal epistemic logic via symbolic model checking, focusing on OBDD-based and SAT-based approaches for epistemic logics built on discrete and real-time branching time temporal logics.
arxiv
PUC-Logic embedding of Lewis' Deontic Logics [PDF]
arXiv, 2014 We present a embedding of Lewis Deontic logics in PUC-Logic. We achieve this by representing the vary basic $\boldsymbol{CO}$ logic and showing its relative completeness.
arxiv
Interval Neutrosophic Logics: Theory and Applications [PDF]
arXiv, 2004 In this paper, we present the interval neutrosophic logics which generalizes the fuzzy logic, paraconsistent logic, intuitionistic fuzzy logic and many other non-classical and non-standard logics. We will give the formal definition of interval neutrosophic propositional calculus and interval neutrosophic predicate calculus. Then we give one application
arxiv
Topological Modal Logics with Difference Modality [PDF]
Topological modal logics with difference modality. Advances in
Modal Logic, Volume 6,pp 319-332, 2006, 2010 We consider propositional modal logic with two modal operators $\Box$ and $\D$. In topological semantics $\Box$ is interpreted as an interior operator and $\D$ as difference. We show that some important topological properties are expressible in this language. In addition, we present a few logics and proofs of f.m.p. and of completeness theorems.
arxiv