On Completeness of a Positional Interval Logic With Equality, Overlap and Subinterval Relations

Logic Journal of the IGPL - United Kingdom
doi 10.1093/jigpal/3.5.765
Full Text
Abstract

Available in full text

Categories
Philosophy
Date
Authors
Publisher

Oxford University Press (OUP)

Related search

Logic of Interval Uncertainty

Modern Applied Science
2014English

On Cautiousness and Expressiveness in Interval-Valued Logic

Lecture Notes in Computer Science
Computer ScienceTheoretical Computer Science
2019English

Completeness and Herbrand Theorems for Nominal Logic

Journal of Symbolic Logic
PhilosophyLogic
2006English

Model Checking Cryptographic Protocols With Interval Temporal Logic

Journal of Convergence Information Technology
2010English

RETRACTED ARTICLE: A Completeness Theorem for Continuous Predicate Modal Logic

Archive for Mathematical Logic
PhilosophyLogic
2017English

On Interval Dynamic Logic: Introducing Quasi-Action Lattices

Science of Computer Programming
Software
2019English

Completeness via Correspondence for Extensions of the Logic of Paradox

Review of Symbolic Logic
MathematicsPhilosophyLogic
2012English

Algebraic Logic. IV. Equality in Polyadic Algebras

Transactions of the American Mathematical Society
MathematicsApplied Mathematics
1957English

Interval-Valued Logic Metric Spaces

2018English

Amanote Research

Note-taking for researchers

Follow Amanote

© 2026 Amaplex Software S.P.R.L. All rights reserved.

Privacy PolicyRefund Policy