Results 301 to 307 of about 1,151,417 (307)
Some of the next articles are maybe not open access.
Some properties of the roots of theories in propositional logic systems
Computers and Mathematics With Applications, 2008exaly
Bounds for cut elimination in intuitionistic propositional logic
Archive for Mathematical Logic, 1992exaly
Semantic theory of finite lattice-valued propositional logic
Science China Information Sciences, 2010exaly