Cover Image

Frege on the reference of sentences

Fuente: arXiv

Saved in:

Bibliographic Details
Main Author:	Rodrigues, Abilio
Format:	Preprint
Published:	2024
Subjects:	Logic
Online Access:	Acceder al recurso
Tags:	Add Tag No Tags, Be the first to tag this record!

Similar Items

On Universally Free First-Order Extensions of Belnap-Dunn's Four-Valued Logic and Nelson's Paraconsistent Logic N4
by: Antunes, Henrique, et al.
Published: (2024)

Positive, Negative, and Reliable Information in a First-Order Logic of Evidence and Truth
by: Rodrigues, Abilio, et al.
Published: (2026)

A definição de verdade de Tarski
by: Cardoso, Guilherme, et al.
Published: (2024)

Certified $Σ_1$-sentences
by: Kurahashi, Taishi, et al.
Published: (2023)

Doubly partially conservative sentences
by: Kogure, Haruka, et al.
Published: (2025)

On the computability of optimal Scott sentences
by: Alvir, Rachael, et al.
Published: (2025)

Normalization and cut-elimination theorems for some logics of evidence and truth
by: Coniglio, Marcelo E., et al.
Published: (2024)

A variety of partially conservative sentences
by: Kogure, Haruka, et al.
Published: (2024)

Theories of Frege structure equivalent to Feferman's system $\mathsf{T}_0$
by: Hayashi, Daichi
Published: (2024)

Generalisation of proof simulation procedures for Frege systems by M.L.~Bonet and S.R.~Buss
by: Kozhemiachenko, Daniil
Published: (2024)

Analytic proofs for logics of evidence and truth
by: Carnielli, Walter, et al.
Published: (2024)

Scott-Karp analysis without sentences
by: Brunner, Andreas, et al.
Published: (2026)

On Many-logic modal structures and information-based logics
by: Martins, Manuel, et al.
Published: (2026)

The geometrical basis of arithmetical knowledge: Frege & Dehaene
by: Sorin Costreie
Published: (2018)

First-order sentences in random groups I: universal sentences
by: Kharlampovich, O., et al.
Published: (2021)

Computable Scott sentences and the weak Whitehead problem for finitely presented groups
by: Paolini, Gianluca
Published: (2023)

Scott sentence complexities of linear orderings
by: Gonzalez, David, et al.
Published: (2023)

Quantum references
by: Unruh, Dominique
Published: (2021)

Two Cases of Deduction with Non-referring Descriptions
by: Raclavský, Jiří
Published: (2024)

Demystifying $μ$
by: Afshari, Bahareh, et al.
Published: (2024)

Cut elimination for Cyclic Proofs: A Case Study in Temporal Logic
by: Afshari, Bahareh, et al.
Published: (2024)

On the logical structure of some maximality and well-foundedness principles equivalent to choice principles
by: Herbelin, Hugo
Published: (2024)

The strength of the dominance rule
by: Kołodziejczyk, Leszek Aleksander, et al.
Published: (2024)

Dynamic Probability Logic: Decidability & Computability
by: Chopoghloo, Somayeh, et al.
Published: (2024)

A Coalgebraic Semantics for Intuitionistic Modal Logic
by: Almeida, Rodrigo Nicolau, et al.
Published: (2024)

Decidability of Quasi-Dense Modal Logics
by: Ostropolski-Nalewaja, Piotr, et al.
Published: (2024)

The subTuring degrees
by: Kihara, Takayuki, et al.
Published: (2024)

The Category of Iterative Sets in Homotopy Type Theory and Univalent Foundations
by: Gratzer, Daniel, et al.
Published: (2024)

Incompleteness theorems via Turing category
by: Savelyev, Yasha
Published: (2024)

Unifying Sequent Systems for Gödel-Löb Provability Logic via Syntactic Transformations
by: Lyon, Tim S.
Published: (2024)

Correspondence and Inverse Correspondence for Input/Output Logic and Region-Based Theories of Space
by: De Domenico, Andrea, et al.
Published: (2024)

The Arithmetical Hierarchy: A Realizability-Theoretic Perspective
by: Kihara, Takayuki
Published: (2024)

Interpretation of Inaccessible Sets in Martin-Löf Type Theory with One Mahlo Universe
by: Takahashi, Yuta
Published: (2024)

Proof Theory and Decision Procedures for Deontic STIT Logics
by: Lyon, Tim S., et al.
Published: (2024)

Normalisation for Negative Free Logics without and with Definite Descriptions
by: Kürbis, Nils
Published: (2024)

Further remarks on the dual negation in team logics
by: Anttila, Aleksi
Published: (2024)

Some General Completeness Results for Propositionally Quantified Modal Logics
by: Ding, Yifeng, et al.
Published: (2024)

First-order Logic with Being a Thesis Modal Operator
by: Łyczak, Marcin
Published: (2024)

Taking Bi-Intuitionistic Logic First-Order: A Proof-Theoretic Investigation via Polytree Sequents
by: Lyon, Tim S., et al.
Published: (2024)

A Cut-free, Sound and Complete Russellian Theory of Definite Descriptions
by: Indrzejczak, Andrzej, et al.
Published: (2024)