Leonardo Pacheco on Nostr: Does anyone know of a nice introduction to topological semantics of first-order ...
Does anyone know of a nice introduction to topological semantics of first-order intuitionistic logic?
(I've searched but didn't find anything good, maybe I'm using the wrong keywords.)
#Logic
Published at
2024-09-27 14:04:00Event JSON
{
"id": "d6210762cfae8846ca2a2c114404a245f8aa80f5e10a05033bac291c359e1e27",
"pubkey": "1046fd39f212252042d135e44ea84e3f9e86894c803485fd7be9e08d54be50bf",
"created_at": 1727445840,
"kind": 1,
"tags": [
[
"t",
"logic"
],
[
"proxy",
"https://mathstodon.xyz/users/leonardopacheco/statuses/113209890599285880",
"activitypub"
]
],
"content": "Does anyone know of a nice introduction to topological semantics of first-order intuitionistic logic?\n\n(I've searched but didn't find anything good, maybe I'm using the wrong keywords.)\n\n#Logic",
"sig": "56494ec0eb01abdb124cf3da58fe68920581a9eab1dcc2c5cf3360bbd7cc634d9f7a58cca50aa026fcbe23f0a1a0eea78ec03d9bf9c888d12d1cc1d7d1608eea"
}
