Verwandte Artikel zu Theorem Proving with Analytic Tableaux and Related...
Theorem Proving with Analytic Tableaux and Related Methods: 5th International Workshop, TABLEAUX '96, Terrasini (Palermo), Italy, May 15 - 17, 1996. Proceedings - Softcover
Zu dieser ISBN ist aktuell kein Angebot verfügbar.
Inhaltsangabe
On sets, types, fixed points, and checkerboards.- Fibred tableaux for multi-implication logics.- Interpolation for a sequent calculus of generalized quantifiers.- Almost duplication-free tableau calculi for prepositional lax logics.- Combining many-valued and intuitionistic tableaux.- Cyclic connections.- Incremental theory reasoning methods for semantic tableaux.- The disconnection method.- Sequent calculi for default and autoepistemic logics.- Minimal model generation with positive unit hyper-resolution tableaux.- Distributed modal theorem proving with KE.- A simple tableau system for the logic of elsewhere.- Situational Calculus, linear connection proofs and STRIPS-like planning: An experimental comparison.- Efficient loop-check for backward proof search in some non-classical propositional logics.- Strong normalization for all-style LKtq.- T-string unification: Unifying prefixes in non-classical proof methods.- A timing refinement of intuitionistic proofs and its application to the timing analysis of combinational circuits.- A tableau calculus for minimal model reasoning.- On the intuitionistic force of classical search (Extended abstract).- Proof-search in intuitionistic logic based on constraint satisfaction.
Die Inhaltsangabe kann sich auf eine andere Ausgabe dieses Titels beziehen.
(Keine Angebote verfügbar)
Buch Finden: Kaufgesuch aufgebenSie finden Ihr gewünschtes Buch nicht? Wir suchen weiter für Sie. Sobald einer unserer Buchverkäufer das Buch bei AbeBooks anbietet, werden wir Sie informieren!
Kaufgesuch aufgeben
