We attempt to define the classical propositional logic by use of appropriate derivability conditions called Cn-definitions. The conditions characterize basic properties of propositional connectives.
Studia Logica: An International Journal for Symbolic Logic, Vol. 42, No. 2/3, Proceedings of the Finnish-Polish-Soviet Logic Conference (1983), pp. 173-177 (5 pages) We prove that each proper ideal in ...
when thinking about logical agents, we imagine that the agent has a knowledge base (KB for short) that contains logical sentences that describe the state of the world you could think of a KB as a ...
Some results have been hidden because they may be inaccessible to you
Show inaccessible results