the issue of the individual unity of being is among the issues in the field of theoretical mysticism which all of the muslim mystics have agreed upon. as such, some of them have attempted to base this theory on proof, among whom is mohammad reza qomshei. qomshei’s proof has been accepted by some philosophers and criticized by others, among whom is hakim jelwe who was contemporaneous with qomshe...

Two recent computational models of legal argumentation, by Verheij and Gordon respectively, have interpreted critical questions as premises of arguments that can be defeated using Pollock’s concepts of undercutters and rebuttals. Using the scheme for arguments from expert opinion as an example, this paper evaluates and compares these two models of critical questions from the perspective of argu...

Background: Ramsar, a northern city in Iran, lies on the coast of the Caspian Sea. This city has areas with some of the highest levels of natural radiation measured to date. The radon concentration in some areas of Ramsar is up to 3700 Bq m–3. On the other hand, due to high level of humidity, damp-proof barriers should be used in construction of new buildings in radon prone areas of this cit...

although mohaghegh khorasani has raised the impossibility of replacement of certitude as to subject by authorized conjectural proof (amara) due to the impediment of conjunction in consideration; sheikh ansari, while rejecting the replacement of certitude as to attribute, has accepted the replacement of declaratory certitude. some islamic scholars believe in classification, according to the basi...

Researchers demonstrate proof-of-concept with higher carrier frequency than current 5G wireless standards.

We describe jsCoq, a new platform and user environment for the Coq interactive proof assistant. The jsCoq system targets the HTML5–ECMAScript 2015 specification, and it is typically run inside a standards-compliant browser, without the need of external servers or services. Targeting educational use, jsCoq allows the user to start interaction with proof scripts right away, thanks to its self-con...