A fixed point theory over stratified truth
Work
Year: 2020
Type: article
Abstract: We present a theory of stratified truth with a μ‐operator, where terms representing fixed points of stratified monotone operations are available. We prove that is relatively intepretable into Quine's... more
Source: Mathematical logic quarterly
Author Andrea Cantini
Institution University of Florence
Cites: 16
Cited by: 1
Related to: 10
FWCI:
Citation percentile (by year/subfield):
Subfield: Computational Theory and Mathematics
Field: Computer Science
Domain: Physical Sciences
Sustainable Development Goal Peace, justice, and strong institutions
Open Access status: green