Autor:	Podroužek, Juraj
Předmět:	LOGIC NEGATION (Logic) MODAL logic CRITICAL thinking THOUGHT & thinking
Zdroj:	Filozofia; 2009, Vol. 64 Issue 4, p346-350, 5p, 1 Diagram
Abstrakt:	The article focuses on the system of Dynamic Logic of Strict Processes (DLSP). It discusses the three main issues encountered in a transition system including intuitionist fashion-based negation, multimodal contexts of satisfiability and proposed semantics for DLSP. A comparison of the original LSP and DLSP is also given.
Databáze:	Supplemental Index
Externí odkaz:	Zobrazit plný text záznamu