论文信息 - Dual Gaggle Semantics for Entailment - 字舞流文

Dual Gaggle Semantics for Entailment

Katalin Bimbó | K. Bimbó

[1] Katalin Bimbó,et al. Functorial Duality for Ortholattices and De Morgan Lattices , 2007, Logica Universalis.

[2] Katalin Bimbó,et al. Relational Semantics for Kleene Logic and Action Logic , 2005, Notre Dame J. Formal Log..

[3] J. Michael Dunn,et al. Gaggle Theory: An Abstraction of Galois Connections and Residuation with Applications to Negation, Implication, and Various Logical Operations , 1990, JELIA.

[4] Alasdair Urquhart,et al. A topological representation theory for lattices , 1978 .

[5] Garrett Birkhoff,et al. Representations of lattices by sets , 1948 .

[6] Hilary A. Priestley,et al. Representation of Distributive Lattices by means of ordered Stone Spaces , 1970 .

[7] Robert K. Meyer,et al. Combinators and Structurally Free Logic , 1997, Log. J. IGPL.

[8] R. Meyer,et al. The semantics of entailment — III , 1973 .

[9] M. Stone. Topological representations of distributive lattices and Brouwerian logics , 1938 .