Admissible Bases Via Stable Canonical Rules

8 years 12 days ago

Download logica.dmi.unisa.it

We establish the dichotomy property of [7] for multi-conclusion stable canonical rules of [1]. This yields an alternative proof of existence of bases of admissible rules for such well-known systems as IPC, S4, and K4.

Nick Bezhanishvili, David Gabelaia, Silvio Ghilard

Real-time Traffic

SLOGICA 2016 | Software Engineering |

claim paper

» On the existence of stable models of nonstratified logic programs

» Deduping URLs via rewrite rules

» Designing Spatially Coherent Minimizing Flows for Variational Problems Based on Active Con...

» Quadratic stability and stabilization of switched dynamic systems with uncommensurate inte...

» ANDOR MultiValued Decision Diagrams AOMDDs for Graphical Models

» Case Attraction in Ancient Greek

Post Info
More Details (n/a)

Added	09 Apr 2016
Updated	09 Apr 2016
Type	Journal
Year	2016
Where	SLOGICA
Authors	Nick Bezhanishvili, David Gabelaia, Silvio Ghilardi, Mamuka Jibladze

Comments (0)

Sciweavers

Admissible Bases Via Stable Canonical Rules

SLOGICA 2016 | Software Engineering |

Explore & Download

Productivity Tools

Document Tools

Image Tools

Sciweavers