Bivalent logics

Vincent Degauquier

Bivalent logics

Espace philosophique de Namur

Résultats de recherche: Contribution dans un livre/un catalogue/un rapport/dans les actes d'une conférence › Article dans les actes d'une conférence/un colloque

langue originale	Anglais
titre	Future directions for logic
Sous-titre	Proceedings of PhDs in logic III
rédacteurs en chef	Jonas De Vuyst, Lorenz Demey
Editeur	College Publications
Pages	25 - 33
Nombre de pages	8
Etat de la publication	Publié - 2012

mots-clés

Sequent calculus
Cut redundancy
Paraconsistent logic
Partial logic

Contient cette citation

@inproceedings{5e165c14357d43ee9e62854ddd24ed01,

title = "Bivalent logics",

keywords = "Sequent calculus, Cut redundancy, Paraconsistent logic, Partial logic, Sequent calculus, Cut redundancy, Paraconsistent logic, Partial logic",

author = "Vincent Degauquier",

year = "2012",

language = "English",

pages = "25 -- 33",

editor = "{De Vuyst}, Jonas and Lorenz Demey",

booktitle = "Future directions for logic",

publisher = "College Publications",

}

TY - GEN

T1 - Bivalent logics

AU - Degauquier, Vincent

PY - 2012

Y1 - 2012

KW - Sequent calculus

KW - Cut redundancy

KW - Paraconsistent logic

KW - Partial logic

KW - Sequent calculus

KW - Cut redundancy

KW - Paraconsistent logic

KW - Partial logic

M3 - Conference contribution

SP - 25

EP - 33

BT - Future directions for logic

A2 - De Vuyst, Jonas

A2 - Demey, Lorenz

PB - College Publications

ER -