A Modal Herbrand Theorem

Fundamenta Informaticae - Netherlands
doi 10.3233/fi-1996-281206
Full Text
Abstract

Available in full text

Date
Authors
Publisher

IOS Press

Related search

A Characterization Theorem for a Modal Description Logic

2017English

Modal Theorem Proving: An Equational Viewpoint

Journal of Logic and Computation
ArtsHumanitiesHardwareArchitectureLogicTheoretical Computer ScienceSoftware
1992English

RETRACTED ARTICLE: A Completeness Theorem for Continuous Predicate Modal Logic

Archive for Mathematical Logic
PhilosophyLogic
2017English

Herbrand-Satisfiability of a Quantified Set-Theoretic Fragment*

Fundamenta Informaticae
Information SystemsAlgebraNumber TheoryMathematicsComputational TheoryTheoretical Computer Science
2017English

La Théorie Des Nombres Chez Herbrand Et Lautman

Philosophiques
2010English

Interpreting the Modal Kochen–Specker Theorem: Possibility and Many Worlds in Quantum Mechanics

Studies in History and Philosophy of Science Part B Studies in History and Philosophy of Modern Physics
Philosophy of SciencePhysicsAstronomyHistory
2014English

Completeness and Herbrand Theorems for Nominal Logic

Journal of Symbolic Logic
PhilosophyLogic
2006English

A New Minimax Theorem and a Perturbed James's Theorem

Bulletin of the Australian Mathematical Society
Mathematics
2002English

A Gap Theorem

Transactions of the American Mathematical Society
MathematicsApplied Mathematics
1948English

Amanote Research

Note-taking for researchers

Follow Amanote

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

Privacy PolicyRefund Policy