Results 21 to 30 of about 84,544 (73)
Tailoring temporal description logics for reasoning over temporal conceptual models [PDF]
, 2011 Temporal data models have been used to describe how data can evolve in the context of temporal databases. Both the Extended Entity-Relationship (EER) model and the Unified Modelling Language (UML) have been temporally extended to design temporal ...
Ryzhikov, Vladislav +8 more
core +1 more source
Non-deterministic algebraization of logics by swap structures1 [PDF]
, 2020 Multialgebras have been much studied in mathematics and in computer science. In 2016 Carnielli and Coniglio introduced a class of multialgebras called swap structures, as a semantic framework for dealing with several Logics of Formal Inconsistency that ...
Golzio, Ana Claudia +2 more
core +2 more sources
Cut elimination and strong separation for substructural logics: An algebraic approach [PDF]
, 2010 We develop a general algebraic and proof-theoretic study of substructural logics that may lack associativity, along with other structural rules. Our study extends existing work on (associative) substructural logics over the full Lambek Calculus FL.
Ono, Hiroakira, Galatos, Nikolaos
core +1 more source
An Institution of Modal Logics for Coalgebras [PDF]
, 2006 This paper presents a modular framework for the specification of certain inductively-defined coalgebraic types. Modal logics for coalgebras of polynomial endofunctors on the category of sets have been studied in [M.
Cıˆrstea, Corina, Cirstea, Corina
core +1 more source
On Logics for Coalgebraic Simulation [PDF]
, 2004 We investigate logics for coalgebraic simulation from a compositional perspective. Specifically, we show that the expressiveness of an inductively-defined language for coalgebras w.r.t.
Cirstea, Corina
core +2 more sources
A note on the hierarchy of algebraizable logics
, 2021 Peer ...
Cintula, Petr, Noguera, Carles
openaire +1 more source
Definitional equivalence and algebraizability of generalized logical systems
Annals of Pure and Applied Logic, 1999 The author introduces and studies a concept of algebraizable sequential logic, a generalized notion of a logical system that covers, on a uniform basis, sequential systems and the quasi-equational theories of quasivarieties in Mal'tsev's sense. The author defines a concept of equivalence between generalized logics so that a logic is considered to be ...
openaire +3 more sources
Behavioral algebraization of logics [PDF]
We introduce and study a new approach to the theory of abstract algebraic logic (AAL) that explores the use of many-sorted behavioral logic in the role traditionally played by unsorted equational logic.
Caleiro, C. +2 more
core +1 more source
A note on the hierarchy of algebraizable logics
, 2013 There are numerous strengthenings of this notion in the literature, which are often confused, the usually mistakes being that finitary of L implies that L is an elementary class2 (a counterexample is given in [2]) or vice versa (a counterexample is ...
Cintula, Petr, Noguera, Carles
core
A Logical Modeling of Severe Ignorance. [PDF]
J Philos Logic, 2023 Bonzio S +3 more
europepmc +1 more source