Discover open access scientific publications

Search, annotate, share and cite publications

Publications by JOSÉ CARMO

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

Logic Journal of the IGPL

English

Related publications

Logic of Interval Uncertainty

Modern Applied Science

English

On Cautiousness and Expressiveness in Interval-Valued Logic

Lecture Notes in Computer Science

Computer Science

Theoretical Computer Science

English

Completeness and Herbrand Theorems for Nominal Logic

Journal of Symbolic Logic

English

Model Checking Cryptographic Protocols With Interval Temporal Logic

Journal of Convergence Information Technology

English

RETRACTED ARTICLE: A Completeness Theorem for Continuous Predicate Modal Logic

Archive for Mathematical Logic

English

On Interval Dynamic Logic: Introducing Quasi-Action Lattices

Science of Computer Programming

English

Completeness via Correspondence for Extensions of the Logic of Paradox

Review of Symbolic Logic

English

Algebraic Logic. IV. Equality in Polyadic Algebras

Transactions of the American Mathematical Society

Applied Mathematics

English

Interval-Valued Logic Metric Spaces

English