cianfa72's latest activity

Well, we still say that a proposition which is True everywhere is just True (or top ⊤), and a proposition which is True only on the...

In any topological model for IPL, propositions are assigned open subsets of an underlying topological space by induction starting...

No, "semantics" just means "theory of meaning". Even so you could talk of "theories of meaning", there is no way to put "semantics" into...

Ah yes, indeed thinking about it ¬P is defined as ¬P := P → ⊥ and any topological model/interpretation maps ⊥ to the empy set. Then, by...

Ah ok, so basically in logic semantic as noun doesn't exist/apply at all. Ah, so is ##\lnot P## assigned the interior of the complement...

Ok, you said semantics (plural noun) since it refers to an entire class of semantic models/interpreations and not just a single one. So...

I'm taking a look at intuitionistic propositional logic (IPL). Basically it exclude Double Negation Elimination (DNE) from the set of...

@zenterix - I would say the problem is that your approach is making something really quite simple into an abominably complicated...

Note the following: O' is at rest in S' frame and can use S' coordinates to locate events. Now when lightning strike both ends of the...

Note that the figures you've reproduced show two different experiments. In figure 2-1 the strikes are simultaneous in S, and if that...

After reviewing it, this is my formal deduction of the sentence ##\varphi(0)## in first-order Peano Arithmetic (PA) formalized by using...

From my understanding, using the Hilbert-style proof system (no natural deduction system), we have: line 1: ##\forall y (y+0=y)## is an...