Dual Gaggle Semantics for Entailment
Bimbó, Katalin
Notre Dame J. Formal Logic, Tome 50 (2009) no. 1, p. 23-41 / Harvested from Project Euclid
Text on Project Euclid
PDF
Alt PDF
A sequent calculus for the positive fragment of entailment together with the Church constants is introduced here. The single cut rule is admissible in this consecution calculus. A topological dual gaggle semantics is developed for the logic. The category of the topological structures for the logic with frame morphisms is proven to be the dual category of the variety, that is defined by the equations of the algebra of the logic, with homomorphisms. The duality results are extended to the logic of entailment that includes a De Morgan negation.
Publié le : 2009-01-15
Classification:  entailment,  relevance logics,  gaggle theory,  topological duality theory,  sequent calculus,  cut-free proofs,  03B47,  03F05,  18C50 
@article{1232375160,
     author = {Bimb\'o, Katalin},
     title = {Dual Gaggle Semantics for Entailment},
     journal = {Notre Dame J. Formal Logic},
     volume = {50},
     number = {1},
     year = {2009},
     pages = { 23-41},
     language = {en},
     url = {http://dml.mathdoc.fr/item/1232375160}
}

Bimbó, Katalin. Dual Gaggle Semantics for Entailment. Notre Dame J. Formal Logic, Tome 50 (2009) no. 1, pp.  23-41. http://gdmltest.u-ga.fr/item/1232375160/