Results 261 to 270 of about 830,140 (297)

Theorem Proving and Partial Proof Search for Intuitionistic Propositional Logic Using a Permutation-free Calculus with Loop-Checking [PDF]

, 1996
openaire  

Some of the next articles are maybe not open access.

Related searches:

Efficient loop-check for KD 45 logic

Lithuanian Mathematical Journal, 2006
We introduce a new sequent calculus for KD 45 logic. A loop-check technique is used to determine whether a sequent derivable or not. We concentrate ourselves on the efficiency of the loop-check technique used. The efficiency is obtained by making the loop-check to act locally (then we need to check only one or two current sequents), instead of a global
exaly   +2 more sources

An extended variant of atoms loop check for positive logic programs

New Generation Computing, 1997
The Equality check and the Subsumption check are weakly sound, but are not complete even for function-free logic programs. Although the OverSize (OS) check is complete for positive logic programs, it is too general in the sense that it prunes SLD-derivations merely based on the depth-bound of repeated predicate symbols and the size of atoms, regardless
exaly   +2 more sources

Loop-Check Specification for a Sequent Calculus of Temporal Logic

Studia Logica, 2022
zbMATH Open Web Interface contents unavailable due to conflicting licenses.
Romas Alonderis, Regimantas Pliuskevicius, Aida Pliuskeviciene, Haroldas Giedra   +3 more
openaire   +2 more sources

loop check

2000
exaly   +2 more sources

Loop checking and the well-founded semantics

1995
Using a calculus of goals, we define the success and failure of a goal for propositional programs in the presence of loop checking. The calculus is sound with respect to the well-founded semantics; for finite programs, it is also complete. A Prolog-style proof search strategy for a modification of this calculus provides a query evaluation algorithm for
Vladimir Lifschitz, Norman McCain, Teodor C. Przymusinski, Robert F. Stärk   +3 more
openaire   +1 more source

Efficient loop-check for backward proof search in some non-classical propositional logics

1996
We consider the modal logics KT and S4, the tense logic Kt, and the fragment IPC(∧,→) of intuitionistic logic.
Alain Heuerding, Michael Seyfried, Heinrich Zimmermann   +2 more
openaire   +1 more source

24-Type loop checking system - Application and field test results in the bell telephone system

IEEE Transactions on Communication and Electronics, 1963
A simple inexpensive system for checking transmission on subscriber lines has been developed. The system includes a small portable loop checker for use at the customer location and a sweep-frequency generator located at the central office. Operational field trials to determine the most effective methods of applying the system and the results obtained ...
openaire   +1 more source

A Duplication and Loop Checking Free System for S4

1996
Most of the sequent/tableau based proof systems for the modal logic S4 need to duplicate formulas and thus are required to adopt some method of loop checking. In what follows we present a tableau-like proof system for S4, based on D'Agostino and Mondadori's classical KE, which is free of duplication and loop checking.
openaire   +1 more source