Voltar
Artigo Acesso aberto Revisado por pares
BIBTEX RIS

Sequent Calculi for Visser's Propositional Logics

2001; Duke University Press; Volume: 42; Issue: 1 Linguagem: Inglês

10.1305/ndjfl/1054301352

ISSN

1939-0726

Autores

Katsumasa Ishii, Ryo Kashima, Kentaro Kikuchi,

Tópico(s)

Rough Sets and Fuzzy Logic

Resumo

This paper introduces sequent systems for Visser's two propositional logics: Basic Propositional Logic (BPL) and Formal Propositional Logic (FPL). It is shown through semantical completeness that the cut rule is admissible in each system. The relationships with Hilbert-style axiomatizations and with other sequent formulations are discussed. The cut-elimination theorems are also demonstrated by syntactical methods.

Referência(s)