Logic/General logic/Classical first-order logic

Subject Classification

AMS: Mathematical logic and foundations / General logic / Classical first-order logic

2026

Monadic Second-Order Logic in HOL: Deep and Shallow Embeddings with Automated Faithfulness (Isabelle/HOL dataset)

by Christoph Benzmüller and Daniel Kirchner

Jul 13

Abstract Consistency Properties

by Asta Halkjær From and Anders Schlichtkrull

Mar 26

2025

Compactness Theorem for First-Order Logic

by Sophie Tourret and Lawrence C. Paulson

Feb 26

First Order Clause

by Balazs Toth

Jan 17

2024

SCL Simulates Nonredundant Ground Resolution

by Martin Desharnais-Schäfer

Oct 31

2023

Given Clause Loops

by Jasmin Christian Blanchette, Qi Qiu and Sophie Tourret

Jan 25

2022

Making Arbitrary Relational Calculus Queries Safe-Range

by Martin Raszyk and Dmitriy Traytel

Sep 28

A Naive Prover for First-Order Logic

by Asta Halkjær From

Mar 22

First-Order Query Evaluation

by Martin Raszyk

Feb 15

A Sequent Calculus Prover for First-Order Logic with Functions

by Asta Halkjær From and Frederik Krogsdal Jacobsen

Jan 31

2021

Soundness and Completeness of an Axiomatic System for First-Order Logic

by Asta Halkjær From

Sep 24

2007

First-Order Logic According to Fitting

by Stefan Berghofer

Aug 02