Results 11 to 20 of about 34 (34)
Honesty in Partial Logic [PDF]
, 1994 We propose an epistemic logic in which knowledge is fully introspective and implies truth, although truth need not imply epistemic possibility. The logic is presented in sequential format and is interpreted in a natural class of partial models, called ...
Elias Thijsse +8 more
core +1 more source
Interpolation and amalgamation in modal cylindric algebras
, 2021 Let α be an ordinal and L be a unimodal logic (like S4 or S5). A modal cylindric algebra of dimension α, an LCAα, is a cylindric algebra of dimension α, expanded with α-many L modalities.
Ahmed, Tarek Sayed
core
Partial Up and Down Logic [PDF]
, 1995 This paper presents logics for reasoning about extension and reduction of partial information states. This enterprise amounts to non-persistent variations of certain constructive logics, in particular the so-called logic of constructible falsity of ...
Jaspars, J.O.M., Jan Jaspars
core
A Propositional Logic With 4 Values: True, False, Divergent and Meaningless
, 2007 In this paper, we survey 3-valued logics and their complete axiomatizations, one of which is new. We then propose a 4-valued, functionally complete logic that incorporates these 3-valued systems and provide notations for interesting operators and ...
Jan A. Bergstra, Piet Rodenburg
core
Algebras for Boolean Presuppositions
, 1998 We present an algebraic approach to the semantics of presuppositions in dynamic semantics: preconditions are introduced explicitly as separate components in the semantic algebra. The approach is worked out for a propositional language that is interpreted
Els Wolters +5 more
core
, 2008 This paper proposes the use of quaternary and ternary descriptions of signal behavior for power estimation of binary CMOS circuits. Taking into account the e€ect of race hazards due to signal delay, we ®nd that the operations of three simple gates ...
Bangyuan Chen B +2 more
core
Deductive Systems of Fuzzy Logic (a Tutorial)
, 1997 Fuzzy logic is analyzed from the point of view of formal logic; the underlying calculi and their properties are surveyed. AMS subject classification: 03B52, 03B50, 06BXX. Key words: fuzzy logic, many-valued logic, residuated lattices.
Petr Hájek, Lluis Godo
core
Clones Preserving a Quasi-Order
, 2007 . It is proved that if a finite non-trivial quasi-order is not a linear order then there exist 2 @0 clones, which consist of functions preserving the quasiorder and contain all unary functions with this property. It is shown that, for a linear order on
Dietmar Schweigert, Andrei Krokhin
core
Some of the next articles are maybe not open access.
Related searches:
Related searches: