#### Filter Results:

- Full text PDF available (0)

#### Publication Year

2001

2013

- This year (0)
- Last 5 years (1)
- Last 10 years (1)

#### Publication Type

#### Journals and Conferences

Learn More

- I. D. Zaslavsky
- Ann. Pure Appl. Logic
- 2001

- Igor D. Zaslavsky
- Ninth International Conference on Computer…
- 2013

Some semantics of the predicate formulas in the framework of the symmetric constructive logic [1] is defined. The following theorems are proved: (1) any predicate formula deducible in the symmetric constructive predicate calculus is identically true in the sense of the introduced semantics; (2) some predicate formulas not deducible in the mentioned calculus… (More)

- I. D. Zaslavsky
- TbiLLC
- 2005

- I. D. Zaslavsky
- Theor. Comput. Sci.
- 2004

- ‹
- 1
- ›