Cognitive Binary Logic - The Natural Unified Formal Theory of Propositional Binary Logic

zbMath1231.68245arXiv1106.2352MaRDI QIDQ3111793

Luminita State, Nicolaie Popescu-Bodorin

Publication date: 13 January 2012

Full work available at URL: https://arxiv.org/abs/1106.2352

zbMATH Keywords

liar paradoxcomputational logiccognitive binary logicinductive/deductive discourse

Mathematics Subject Classification ID

Formal languages and automata (68Q45) Logic in artificial intelligence (68T27)

This page was built for publication: Cognitive Binary Logic - The Natural Unified Formal Theory of Propositional Binary Logic