Open AccessTableau method of proof for Peirce’s three-valued propositional logic
Author(s) -
José Renato Salatiel
Publication year - 2022
Publication title -
filosofia unisinos
Language(s) - English
Resource type - Journals
SCImago Journal Rank - 0.114
H-Index - 4
eISSN - 1984-8234
pISSN - 1519-5023
DOI - 10.4013/fsu.2022.231.05
Subject(s) - negation , proof theory , paraconsistent logic , axiom , propositional calculus , truth value , axiomatic system , epistemology , calculus (dental) , intuitionistic logic , zeroth order logic , computer science , philosophy , mathematics , linguistics , higher order logic , artificial intelligence , description logic , mathematical proof , multimodal logic , medicine , geometry , dentistry