Logic/General logic/Classical first-order logic

Subject Classification

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

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