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  4307 reads

Browse archivesActive forum topics 
Recent comments
1 day 8 hours ago
1 day 13 hours ago
2 days 13 hours ago
2 days 15 hours ago
2 days 21 hours ago
3 days 14 hours ago
3 days 23 hours ago
4 days 10 hours ago
4 days 11 hours ago
4 days 11 hours ago