Logic/General logic/Classical first-order logic

Subject Classification

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

2024

SCL Simulates Nonredundant Ground Resolution

by Martin Desharnais

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