The following pages link to R. Alonderis (Q174447):
Displayed 27 items.
- A proof-search procedure for intuitionistic propositional logic (Q377482) (← links)
- A coding method for a sequent calculus of propositional logic (Q946138) (← links)
- Glivenko classes of sequents for temporal logic with time gaps (Q1873253) (← links)
- Loop-check specification for a sequent calculus of temporal logic (Q2106881) (← links)
- Loop-type sequent calculi for temporal logic (Q2228437) (← links)
- Sequent calculi for propositional star-free likelihood logic (Q2571505) (← links)
- (Q2791888) (← links)
- (Q2791889) (← links)
- (Q2799620) (← links)
- (Q2809674) (← links)
- (Q2811589) (← links)
- (Q3173797) (← links)
- Glivenko Classes of Sequents for Propositional Star-Free Likelihood Logic (Q3442398) (← links)
- (Q3463988) (← links)
- (Q3607556) (← links)
- (Q4639651) (← links)
- (Q4809712) (← links)
- Finite sequent calculi for PLTL (Q5040746) (← links)
- Brodskio kodavimo metodas teiginių logikai;Brodsky’s coding method for propositional logic (Q5040795) (← links)
- Applications of logic of correlated knowledge to quantum mechanics (Q5040803) (← links)
- A derivation-loop method for temporal logic (Q5040806) (← links)
- More efficient proof-search for sequents of temporal logic (Q5058432) (← links)
- A proof-search system for the logic of likelihood (Q5082322) (← links)
- A proof-search system for the logic of likelihood (Q5082332) (← links)
- (Q5869513) (← links)
- Proof-theoretical investigation of temporal logic with time gaps (Q5930981) (← links)
- Specialization of loop rules of a sequent calculus of intuitionistic temporal logic with time gaps (Q5942192) (← links)