Results 1 to 10 of about 102,642 (170)
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 ...
Yoshihito Tanaka
semanticscholar +8 more sources
A cut-free proof system for a predicate extension of the logic of provability [PDF]
Reports on Mathematical Logic, 2018 In this paper, we introduce a proof system $\mathsf{NQGL}$ for a Kripke complete predicate extension of the logic $\mathbf{GL}$, that is, the logic of provability, which is defned by $\mathbf{K}$ and the Löb formula $\Box(\Box p\supset p)\supset\Box p$. $\mathsf{NQGL}$ is a modal extension of Gentzen's sequent calculus $\mathsf{LK}$.
Yoshihito Tanaka
semanticscholar +7 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 in
Artur Korniłowicz +2 more
semanticscholar +4 more sources
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 +3 more sources
A predicate extension of real valued logic [PDF]
Archive for Mathematical Logic, 2017 We study a predicate extension of an unbounded real valued propositional logic that has been recently introduced. The latter, in turn, can be regarded as an extension of both the abelian logic and of the propositional continuous logic. Among other results, we prove that our predicate extension satisfies the property of weak completeness (the ...
Stefano Baratella
openaire +4 more sources
Deontic Logics as Axiomatic Extensions of First-Order Predicate Logic: An Approach Inspired by Wolniewicz’s Formal Ontology of Situations [PDF]
Axioms, 2019 The aim of this article is to present a method of creating deontic logics as axiomatic theories built on first-order predicate logic with identity. In the article, these theories are constructed as theories of legal events or as theories of acts. Legal events are understood as sequences (strings) of elementary situations in Wolniewicz′s sense.
Andrzej Malec
openaire +5 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 +2 more sources
Mendler-style Iso-(Co)inductive predicates: a strongly normalizing approach [PDF]
Electronic Proceedings in Theoretical Computer Science, 2012 We present an extension of the second-order logic AF2 with iso-style inductive and coinductive definitions specifically designed to extract programs from proofs a la Krivine-Parigot by means of primitive (co)recursion principles.
Favio Ezequiel Miranda-Perea +1 more
doaj +4 more sources
On Elementary Extensions in Fuzzy Predicate Logics [PDF]
, 2010 Peer ...
Dellunde, Pilar, Esteva, Francesc
openaire +4 more sources