Autor:	Mitio Takano
Rok vydání:	2016
Předmět:	Discrete mathematics Logic 010102 general mathematics Sequent calculus 06 humanities and the arts 0603 philosophy ethics and religion 01 natural sciences Logical consequence History and Philosophy of Science Intersection Falsity 060302 philosophy Preferential entailment Sequent 0101 mathematics Computational linguistics Mathematics
Zdroj:	Studia Logica. 104:917-929
ISSN:	1572-8730 0039-3215
DOI:	10.1007/s11225-016-9658-z
Popis:	Sequent calculi for trilattice logics, including those that are determined by the truth entailment, the falsity entailment and their intersection, are given. This partly answers the problems in Shramko-Wansing (J Philos Logic 34:121---153, 2005).
Databáze:	OpenAIRE
Externí odkaz:	https://explore.openaire.eu/search/publication?articleId=doi_________::64c7a52a7d7eed2ce40659483feaa14c https://doi.org/10.1007/s11225-016-9658-z Zobrazit plný text záznamu Full text from SpringerLink