User loginNavigation 
Constructing Sequent Rules for Generalized Propositional Logics
Constructing Sequent Rules for Generalized Propositional Logics
A very short paper having pretty narrow applicability, but somehow it is exactly what I needed today for my programming. Go figure. The concept of a propositional logic, PL, will be defined and a method, to be referred to as the Kleene Search Procedure, will be used to determine the validity of formulas of PL. This method utilizes a set of sequent rules which are derived in a purely mechanical fashion from the truth tables which are the intended interpretations of the connectives of PL. The results are then used to show how a formal system, GPL, which is a sequent calculus can be constructed with very simple axioms and these sequent rules to yield the valid formulas of PL Note that there are two "mechanical" algorithms here  one deriving sequent rules from truth tables, and another deriving either a proof ar a refutation of a sequent. I wonder just how deeply this is related to both Qi and the map coloring theorem proof (didn't read any of those threads carefully yet). By Andris Birkmanis at 20050421 18:05  LtU Forum  previous forum topic  next forum topic  other blogs  5128 reads

Browse archivesActive forum topics 
Recent comments
7 weeks 3 days ago
7 weeks 4 days ago
7 weeks 6 days ago
14 weeks 6 days ago
20 weeks 4 days ago
20 weeks 5 days ago
21 weeks 4 days ago
24 weeks 2 days ago
25 weeks 5 days ago
25 weeks 5 days ago