Results 31 to 40 of about 84,544 (73)
On the relationship between hypersequent calculi and labelled sequent calculi for intermediate logics with geometric Kripke semantics [PDF]
, 2010 In this thesis we examine the relationship between hypersequent and some types of labelled sequent calculi for a subset of intermediate logics—logics between intuitionistic (Int), and classical logics—that have geometric Kripke semantics, which we call ...
Rothenberg, Robert
core +1 more source
Gaggles, Gentzen and Galois: A Proof Theory for Algebraizable Logics
, 1995 We show how the Gaggle Theory of Dunn gives a Gentzen-style proof theory for many algebraizable logics via the Display Logic of Belnap. At the heart of both systems lie the algebraic notions of residuation, Galois connections, and their duals ...
Rajeev Goré
core
A construction of algebraizable formal models [PDF]
, 2023 Let $X$ be a variety over a complete nontrivially valued field $K$. We construct an algebraizable formal model for the analytification of $X$ in the case $X$ admits a closed embedding into a toric variety.
Friedenberg, Netanel, Coles, Desmond
core
Reasoning about XML with temporal logics and automata [PDF]
, 2010 We show that problems arising in static analysis of XML specifications and transformations can be dealt with using techniques similar to those developed for static analysis of programs Many properties of interest in the XML context are related to ...
Leonid Libkin +3 more
core +1 more source
, 1978 The first systematic exposition of all the central topics in the philosophy of logic, Susan Haack\u27s book has established an international reputation (translated into five languages) for its accessibility, clarity, conciseness, orderliness, and range ...
Haack, Susan
core +1 more source
Löwenheim-Skolem theorems for non-classical first-order algebraizable logics
This article is a contribution to the model theory of non-classical first-order predicate logics. In a wide framework of first-order systems based on algebraizable logics, we study several notions of homomorphisms between models and find suitable ...
García-Cerdaña, Àngel +2 more
core
Reasoning with Large A-Boxes in Fuzzy Description Logics using DL reasoners: An Experimental Evaluation [PDF]
, 2008 Cimiano P, Haase P, Ji Q, et al. Reasoning with Large A-Boxes in Fuzzy Description Logics using DL reasoners: An Experimental Evaluation. In: Proceedings of the ESWC Workshop on Advancing Reasoning on the Web: Scalability and Commonsense ...
Haase, Peter +7 more
core
A categorial foundation for a representation theory of logics
, 2019 Neste trabalho estabelecemos uma base teórica para a construção de uma teoria de rep- resentação de lógicas proposicionais. Iniciamos identificando uma relação precisa entre a categoria das lógicas (Blok-Pigozzi) algebrizáveis e a categoria de suas ...
Pinto, Darllan Conceição
core +1 more source
Equality-friendly well-founded semantics and applications to description logics [PDF]
, 2012 We tackle the problem of defining a well-founded semantics (WFS) for Datalog rules with existentially quantified variables in their heads and nega- tions in their bodies. In particular, we provide a WFS for the recent Datalog± family of ontology languages,
Lukasiewicz, Thomas +3 more
core +2 more sources
SEQUENTIAL CALCULI FOR MANY-VALUED LOGICS WITH EQUALITY DETERMINANT [PDF]
, 2004 We propose a general method of constructing sequential calculi with cut elimination property for propositional finitely-valued logics with equality determinant.
Alexej P Pynko
core